1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-20 15:18:08 +02:00

Merge pull request #17359 from calixteman/editor_highlight_color_picker

[Editor] Add a color picker with predefined colors for highlighting text (bug 1866434)
This commit is contained in:
calixteman 2023-12-06 11:06:55 +01:00 committed by GitHub
commit 8702e1bbb2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
22 changed files with 573 additions and 87 deletions

View file

@ -63,6 +63,7 @@ import {
import { AnnotationEditorLayer } from "../../src/display/editor/annotation_editor_layer.js";
import { AnnotationEditorUIManager } from "../../src/display/editor/tools.js";
import { AnnotationLayer } from "../../src/display/annotation_layer.js";
import { ColorPicker } from "../../src/display/editor/color_picker.js";
import { DrawLayer } from "../../src/display/draw_layer.js";
import { GlobalWorkerOptions } from "../../src/display/worker_options.js";
import { Outliner } from "../../src/display/editor/outliner.js";
@ -78,6 +79,7 @@ const expectedAPI = Object.freeze({
AnnotationMode,
build,
CMapCompressionType,
ColorPicker,
createValidAbsoluteUrl,
DOMSVGFactory,
DrawLayer,