Edit File by line

element: options.cursorHandToolButton,

[15500] Fix | Delete

eventName: "switchcursortool",

[15501] Fix | Delete

eventDetails: {

[15502] Fix | Delete

tool: CursorTool.HAND

[15503] Fix | Delete

[15504] Fix | Delete

close: true

[15505] Fix | Delete

}, {

[15506] Fix | Delete

element: options.scrollPageButton,

[15507] Fix | Delete

eventName: "switchscrollmode",

[15508] Fix | Delete

eventDetails: {

[15509] Fix | Delete

mode: ScrollMode.PAGE

[15510] Fix | Delete

[15511] Fix | Delete

close: true

[15512] Fix | Delete

}, {

[15513] Fix | Delete

element: options.scrollVerticalButton,

[15514] Fix | Delete

eventName: "switchscrollmode",

[15515] Fix | Delete

eventDetails: {

[15516] Fix | Delete

mode: ScrollMode.VERTICAL

[15517] Fix | Delete

[15518] Fix | Delete

close: true

[15519] Fix | Delete

}, {

[15520] Fix | Delete

element: options.scrollHorizontalButton,

[15521] Fix | Delete

eventName: "switchscrollmode",

[15522] Fix | Delete

eventDetails: {

[15523] Fix | Delete

mode: ScrollMode.HORIZONTAL

[15524] Fix | Delete

[15525] Fix | Delete

close: true

[15526] Fix | Delete

}, {

[15527] Fix | Delete

element: options.scrollWrappedButton,

[15528] Fix | Delete

eventName: "switchscrollmode",

[15529] Fix | Delete

eventDetails: {

[15530] Fix | Delete

mode: ScrollMode.WRAPPED

[15531] Fix | Delete

[15532] Fix | Delete

close: true

[15533] Fix | Delete

}, {

[15534] Fix | Delete

element: options.spreadNoneButton,

[15535] Fix | Delete

eventName: "switchspreadmode",

[15536] Fix | Delete

eventDetails: {

[15537] Fix | Delete

mode: SpreadMode.NONE

[15538] Fix | Delete

[15539] Fix | Delete

close: true

[15540] Fix | Delete

}, {

[15541] Fix | Delete

element: options.spreadOddButton,

[15542] Fix | Delete

eventName: "switchspreadmode",

[15543] Fix | Delete

eventDetails: {

[15544] Fix | Delete

mode: SpreadMode.ODD

[15545] Fix | Delete

[15546] Fix | Delete

close: true

[15547] Fix | Delete

}, {

[15548] Fix | Delete

element: options.spreadEvenButton,

[15549] Fix | Delete

eventName: "switchspreadmode",

[15550] Fix | Delete

eventDetails: {

[15551] Fix | Delete

mode: SpreadMode.EVEN

[15552] Fix | Delete

[15553] Fix | Delete

close: true

[15554] Fix | Delete

}, {

[15555] Fix | Delete

element: options.documentPropertiesButton,

[15556] Fix | Delete

eventName: "documentproperties",

[15557] Fix | Delete

close: true

[15558] Fix | Delete

}];

[15559] Fix | Delete

buttons.push({

[15560] Fix | Delete

element: options.openFileButton,

[15561] Fix | Delete

eventName: "openfile",

[15562] Fix | Delete

close: true

[15563] Fix | Delete

});

[15564] Fix | Delete

this.eventBus = eventBus;

[15565] Fix | Delete

this.opened = false;

[15566] Fix | Delete

this.#bindListeners(buttons);

[15567] Fix | Delete

this.reset();

[15568] Fix | Delete

}

[15569] Fix | Delete

get isOpen() {

[15570] Fix | Delete

return this.opened;

[15571] Fix | Delete

}

[15572] Fix | Delete

setPageNumber(pageNumber) {

[15573] Fix | Delete

this.pageNumber = pageNumber;

[15574] Fix | Delete

this.#updateUIState();

[15575] Fix | Delete

}

[15576] Fix | Delete

setPagesCount(pagesCount) {

[15577] Fix | Delete

this.pagesCount = pagesCount;

[15578] Fix | Delete

this.#updateUIState();

[15579] Fix | Delete

}

[15580] Fix | Delete

reset() {

[15581] Fix | Delete

this.pageNumber = 0;

[15582] Fix | Delete

this.pagesCount = 0;

[15583] Fix | Delete

this.#updateUIState();

[15584] Fix | Delete

this.eventBus.dispatch("switchcursortool", {

[15585] Fix | Delete

source: this,

[15586] Fix | Delete

reset: true

[15587] Fix | Delete

});

[15588] Fix | Delete

this.#scrollModeChanged({

[15589] Fix | Delete

mode: ScrollMode.VERTICAL

[15590] Fix | Delete

});

[15591] Fix | Delete

this.#spreadModeChanged({

[15592] Fix | Delete

mode: SpreadMode.NONE

[15593] Fix | Delete

});

[15594] Fix | Delete

}

[15595] Fix | Delete

#updateUIState() {

[15596] Fix | Delete

const {

[15597] Fix | Delete

firstPageButton,

[15598] Fix | Delete

lastPageButton,

[15599] Fix | Delete

pageRotateCwButton,

[15600] Fix | Delete

pageRotateCcwButton

[15601] Fix | Delete

} = this.#opts;

[15602] Fix | Delete

firstPageButton.disabled = this.pageNumber <= 1;

[15603] Fix | Delete

lastPageButton.disabled = this.pageNumber >= this.pagesCount;

[15604] Fix | Delete

pageRotateCwButton.disabled = this.pagesCount === 0;

[15605] Fix | Delete

pageRotateCcwButton.disabled = this.pagesCount === 0;

[15606] Fix | Delete

}

[15607] Fix | Delete

#bindListeners(buttons) {

[15608] Fix | Delete

const {

[15609] Fix | Delete

eventBus

[15610] Fix | Delete

} = this;

[15611] Fix | Delete

const {

[15612] Fix | Delete

toggleButton

[15613] Fix | Delete

} = this.#opts;

[15614] Fix | Delete

toggleButton.addEventListener("click", this.toggle.bind(this));

[15615] Fix | Delete

for (const {

[15616] Fix | Delete

element,

[15617] Fix | Delete

eventName,

[15618] Fix | Delete

close,

[15619] Fix | Delete

eventDetails

[15620] Fix | Delete

} of buttons) {

[15621] Fix | Delete

element.addEventListener("click", evt => {

[15622] Fix | Delete

if (eventName !== null) {

[15623] Fix | Delete

eventBus.dispatch(eventName, {

[15624] Fix | Delete

source: this,

[15625] Fix | Delete

...eventDetails

[15626] Fix | Delete

});

[15627] Fix | Delete

}

[15628] Fix | Delete

if (close) {

[15629] Fix | Delete

this.close();

[15630] Fix | Delete

}

[15631] Fix | Delete

eventBus.dispatch("reporttelemetry", {

[15632] Fix | Delete

source: this,

[15633] Fix | Delete

details: {

[15634] Fix | Delete

type: "buttons",

[15635] Fix | Delete

data: {

[15636] Fix | Delete

id: element.id

[15637] Fix | Delete

}

[15638] Fix | Delete

}

[15639] Fix | Delete

});

[15640] Fix | Delete

});

[15641] Fix | Delete

}

[15642] Fix | Delete

eventBus._on("cursortoolchanged", this.#cursorToolChanged.bind(this));

[15643] Fix | Delete

eventBus._on("scrollmodechanged", this.#scrollModeChanged.bind(this));

[15644] Fix | Delete

eventBus._on("spreadmodechanged", this.#spreadModeChanged.bind(this));

[15645] Fix | Delete

}

[15646] Fix | Delete

#cursorToolChanged({

[15647] Fix | Delete

tool

[15648] Fix | Delete

}) {

[15649] Fix | Delete

const {

[15650] Fix | Delete

cursorSelectToolButton,

[15651] Fix | Delete

cursorHandToolButton

[15652] Fix | Delete

} = this.#opts;

[15653] Fix | Delete

toggleCheckedBtn(cursorSelectToolButton, tool === CursorTool.SELECT);

[15654] Fix | Delete

toggleCheckedBtn(cursorHandToolButton, tool === CursorTool.HAND);

[15655] Fix | Delete

}

[15656] Fix | Delete

#scrollModeChanged({

[15657] Fix | Delete

mode

[15658] Fix | Delete

}) {

[15659] Fix | Delete

const {

[15660] Fix | Delete

scrollPageButton,

[15661] Fix | Delete

scrollVerticalButton,

[15662] Fix | Delete

scrollHorizontalButton,

[15663] Fix | Delete

scrollWrappedButton,

[15664] Fix | Delete

spreadNoneButton,

[15665] Fix | Delete

spreadOddButton,

[15666] Fix | Delete

spreadEvenButton

[15667] Fix | Delete

} = this.#opts;

[15668] Fix | Delete

toggleCheckedBtn(scrollPageButton, mode === ScrollMode.PAGE);

[15669] Fix | Delete

toggleCheckedBtn(scrollVerticalButton, mode === ScrollMode.VERTICAL);

[15670] Fix | Delete

toggleCheckedBtn(scrollHorizontalButton, mode === ScrollMode.HORIZONTAL);

[15671] Fix | Delete

toggleCheckedBtn(scrollWrappedButton, mode === ScrollMode.WRAPPED);

[15672] Fix | Delete

const forceScrollModePage = this.pagesCount > PagesCountLimit.FORCE_SCROLL_MODE_PAGE;

[15673] Fix | Delete

scrollPageButton.disabled = forceScrollModePage;

[15674] Fix | Delete

scrollVerticalButton.disabled = forceScrollModePage;

[15675] Fix | Delete

scrollHorizontalButton.disabled = forceScrollModePage;

[15676] Fix | Delete

scrollWrappedButton.disabled = forceScrollModePage;

[15677] Fix | Delete

const isHorizontal = mode === ScrollMode.HORIZONTAL;

[15678] Fix | Delete

spreadNoneButton.disabled = isHorizontal;

[15679] Fix | Delete

spreadOddButton.disabled = isHorizontal;

[15680] Fix | Delete

spreadEvenButton.disabled = isHorizontal;

[15681] Fix | Delete

}

[15682] Fix | Delete

#spreadModeChanged({

[15683] Fix | Delete

mode

[15684] Fix | Delete

}) {

[15685] Fix | Delete

const {

[15686] Fix | Delete

spreadNoneButton,

[15687] Fix | Delete

spreadOddButton,

[15688] Fix | Delete

spreadEvenButton

[15689] Fix | Delete

} = this.#opts;

[15690] Fix | Delete

toggleCheckedBtn(spreadNoneButton, mode === SpreadMode.NONE);

[15691] Fix | Delete

toggleCheckedBtn(spreadOddButton, mode === SpreadMode.ODD);

[15692] Fix | Delete

toggleCheckedBtn(spreadEvenButton, mode === SpreadMode.EVEN);

[15693] Fix | Delete

}

[15694] Fix | Delete

open() {

[15695] Fix | Delete

if (this.opened) {

[15696] Fix | Delete

return;

[15697] Fix | Delete

}

[15698] Fix | Delete

this.opened = true;

[15699] Fix | Delete

const {

[15700] Fix | Delete

toggleButton,

[15701] Fix | Delete

toolbar

[15702] Fix | Delete

} = this.#opts;

[15703] Fix | Delete

toggleExpandedBtn(toggleButton, true, toolbar);

[15704] Fix | Delete

}

[15705] Fix | Delete

close() {

[15706] Fix | Delete

if (!this.opened) {

[15707] Fix | Delete

return;

[15708] Fix | Delete

}

[15709] Fix | Delete

this.opened = false;

[15710] Fix | Delete

const {

[15711] Fix | Delete

toggleButton,

[15712] Fix | Delete

toolbar

[15713] Fix | Delete

} = this.#opts;

[15714] Fix | Delete

toggleExpandedBtn(toggleButton, false, toolbar);

[15715] Fix | Delete

}

[15716] Fix | Delete

toggle() {

[15717] Fix | Delete

if (this.opened) {

[15718] Fix | Delete

this.close();

[15719] Fix | Delete

} else {

[15720] Fix | Delete

this.open();

[15721] Fix | Delete

}

[15722] Fix | Delete

}

[15723] Fix | Delete

}

[15724] Fix | Delete

[15725] Fix | Delete

;// CONCATENATED MODULE: ./web/toolbar.js

[15726] Fix | Delete

[15727] Fix | Delete

[15728] Fix | Delete

class Toolbar {

[15729] Fix | Delete

#opts;

[15730] Fix | Delete

constructor(options, eventBus) {

[15731] Fix | Delete

this.#opts = options;

[15732] Fix | Delete

this.eventBus = eventBus;

[15733] Fix | Delete

const buttons = [{

[15734] Fix | Delete

element: options.previous,

[15735] Fix | Delete

eventName: "previouspage"

[15736] Fix | Delete

}, {

[15737] Fix | Delete

element: options.next,

[15738] Fix | Delete

eventName: "nextpage"

[15739] Fix | Delete

}, {

[15740] Fix | Delete

element: options.zoomIn,

[15741] Fix | Delete

eventName: "zoomin"

[15742] Fix | Delete

}, {

[15743] Fix | Delete

element: options.zoomOut,

[15744] Fix | Delete

eventName: "zoomout"

[15745] Fix | Delete

}, {

[15746] Fix | Delete

element: options.print,

[15747] Fix | Delete

eventName: "print"

[15748] Fix | Delete

}, {

[15749] Fix | Delete

element: options.download,

[15750] Fix | Delete

eventName: "download"

[15751] Fix | Delete

}, {

[15752] Fix | Delete

element: options.editorFreeTextButton,

[15753] Fix | Delete

eventName: "switchannotationeditormode",

[15754] Fix | Delete

eventDetails: {

[15755] Fix | Delete

get mode() {

[15756] Fix | Delete

const {

[15757] Fix | Delete

classList

[15758] Fix | Delete

} = options.editorFreeTextButton;

[15759] Fix | Delete

return classList.contains("toggled") ? AnnotationEditorType.NONE : AnnotationEditorType.FREETEXT;

[15760] Fix | Delete

}

[15761] Fix | Delete

}

[15762] Fix | Delete

}, {

[15763] Fix | Delete

element: options.editorHighlightButton,

[15764] Fix | Delete

eventName: "switchannotationeditormode",

[15765] Fix | Delete

eventDetails: {

[15766] Fix | Delete

get mode() {

[15767] Fix | Delete

const {

[15768] Fix | Delete

classList

[15769] Fix | Delete

} = options.editorHighlightButton;

[15770] Fix | Delete

return classList.contains("toggled") ? AnnotationEditorType.NONE : AnnotationEditorType.HIGHLIGHT;

[15771] Fix | Delete

}

[15772] Fix | Delete

}

[15773] Fix | Delete

}, {

[15774] Fix | Delete

element: options.editorInkButton,

[15775] Fix | Delete

eventName: "switchannotationeditormode",

[15776] Fix | Delete

eventDetails: {

[15777] Fix | Delete

get mode() {

[15778] Fix | Delete

const {

[15779] Fix | Delete

classList

[15780] Fix | Delete

} = options.editorInkButton;

[15781] Fix | Delete

return classList.contains("toggled") ? AnnotationEditorType.NONE : AnnotationEditorType.INK;

[15782] Fix | Delete

}

[15783] Fix | Delete

}

[15784] Fix | Delete

}, {

[15785] Fix | Delete

element: options.editorStampButton,

[15786] Fix | Delete

eventName: "switchannotationeditormode",

[15787] Fix | Delete

eventDetails: {

[15788] Fix | Delete

get mode() {

[15789] Fix | Delete

const {

[15790] Fix | Delete

classList

[15791] Fix | Delete

} = options.editorStampButton;

[15792] Fix | Delete

return classList.contains("toggled") ? AnnotationEditorType.NONE : AnnotationEditorType.STAMP;

[15793] Fix | Delete

}

[15794] Fix | Delete

}

[15795] Fix | Delete

}];

[15796] Fix | Delete

this.#bindListeners(buttons);

[15797] Fix | Delete

if (options.editorHighlightColorPicker) {

[15798] Fix | Delete

eventBus._on("annotationeditoruimanager", ({

[15799] Fix | Delete

uiManager

[15800] Fix | Delete

}) => {

[15801] Fix | Delete

this.#setAnnotationEditorUIManager(uiManager, options.editorHighlightColorPicker);

[15802] Fix | Delete

}, {

[15803] Fix | Delete

once: true

[15804] Fix | Delete

});

[15805] Fix | Delete

}

[15806] Fix | Delete

eventBus._on("showannotationeditorui", ({

[15807] Fix | Delete

mode

[15808] Fix | Delete

}) => {

[15809] Fix | Delete

switch (mode) {

[15810] Fix | Delete

case AnnotationEditorType.HIGHLIGHT:

[15811] Fix | Delete

options.editorHighlightButton.click();

[15812] Fix | Delete

break;

[15813] Fix | Delete

}

[15814] Fix | Delete

});

[15815] Fix | Delete

this.reset();

[15816] Fix | Delete

}

[15817] Fix | Delete

#setAnnotationEditorUIManager(uiManager, parentContainer) {

[15818] Fix | Delete

const colorPicker = new ColorPicker({

[15819] Fix | Delete

uiManager

[15820] Fix | Delete

});

[15821] Fix | Delete

uiManager.setMainHighlightColorPicker(colorPicker);

[15822] Fix | Delete

parentContainer.append(colorPicker.renderMainDropdown());

[15823] Fix | Delete

}

[15824] Fix | Delete

setPageNumber(pageNumber, pageLabel) {

[15825] Fix | Delete

this.pageNumber = pageNumber;

[15826] Fix | Delete

this.pageLabel = pageLabel;

[15827] Fix | Delete

this.#updateUIState(false);

[15828] Fix | Delete

}

[15829] Fix | Delete

setPagesCount(pagesCount, hasPageLabels) {

[15830] Fix | Delete

this.pagesCount = pagesCount;

[15831] Fix | Delete

this.hasPageLabels = hasPageLabels;

[15832] Fix | Delete

this.#updateUIState(true);

[15833] Fix | Delete

}

[15834] Fix | Delete

setPageScale(pageScaleValue, pageScale) {

[15835] Fix | Delete

this.pageScaleValue = (pageScaleValue || pageScale).toString();

[15836] Fix | Delete

this.pageScale = pageScale;

[15837] Fix | Delete

this.#updateUIState(false);

[15838] Fix | Delete

}

[15839] Fix | Delete

reset() {

[15840] Fix | Delete

this.pageNumber = 0;

[15841] Fix | Delete

this.pageLabel = null;

[15842] Fix | Delete

this.hasPageLabels = false;

[15843] Fix | Delete

this.pagesCount = 0;

[15844] Fix | Delete

this.pageScaleValue = DEFAULT_SCALE_VALUE;

[15845] Fix | Delete

this.pageScale = DEFAULT_SCALE;

[15846] Fix | Delete

this.#updateUIState(true);

[15847] Fix | Delete

this.updateLoadingIndicatorState();

[15848] Fix | Delete

this.#editorModeChanged({

[15849] Fix | Delete

mode: AnnotationEditorType.DISABLE

[15850] Fix | Delete

});

[15851] Fix | Delete

}

[15852] Fix | Delete

#bindListeners(buttons) {

[15853] Fix | Delete

const {

[15854] Fix | Delete

eventBus

[15855] Fix | Delete

} = this;

[15856] Fix | Delete

const {

[15857] Fix | Delete

pageNumber,

[15858] Fix | Delete

scaleSelect

[15859] Fix | Delete

} = this.#opts;

[15860] Fix | Delete

const self = this;

[15861] Fix | Delete

for (const {

[15862] Fix | Delete

element,

[15863] Fix | Delete

eventName,

[15864] Fix | Delete

eventDetails

[15865] Fix | Delete

} of buttons) {

[15866] Fix | Delete

element.addEventListener("click", evt => {

[15867] Fix | Delete

if (eventName !== null) {

[15868] Fix | Delete

eventBus.dispatch(eventName, {

[15869] Fix | Delete

source: this,

[15870] Fix | Delete

...eventDetails,

[15871] Fix | Delete

isFromKeyboard: evt.detail === 0

[15872] Fix | Delete

});

[15873] Fix | Delete

}

[15874] Fix | Delete

});

[15875] Fix | Delete

}

[15876] Fix | Delete

pageNumber.addEventListener("click", function () {

[15877] Fix | Delete

this.select();

[15878] Fix | Delete

});

[15879] Fix | Delete

pageNumber.addEventListener("change", function () {

[15880] Fix | Delete

eventBus.dispatch("pagenumberchanged", {

[15881] Fix | Delete

source: self,

[15882] Fix | Delete

value: this.value

[15883] Fix | Delete

});

[15884] Fix | Delete

});

[15885] Fix | Delete

scaleSelect.addEventListener("change", function () {

[15886] Fix | Delete

if (this.value === "custom") {

[15887] Fix | Delete

return;

[15888] Fix | Delete

}

[15889] Fix | Delete

eventBus.dispatch("scalechanged", {

[15890] Fix | Delete

source: self,

[15891] Fix | Delete

value: this.value

[15892] Fix | Delete

});

[15893] Fix | Delete

});

[15894] Fix | Delete

scaleSelect.addEventListener("click", function ({

[15895] Fix | Delete

target

[15896] Fix | Delete

}) {

[15897] Fix | Delete

if (this.value === self.pageScaleValue && target.tagName.toUpperCase() === "OPTION") {

[15898] Fix | Delete

this.blur();

[15899] Fix | Delete

}

[15900] Fix | Delete

});

[15901] Fix | Delete

scaleSelect.oncontextmenu = noContextMenu;

[15902] Fix | Delete

eventBus._on("annotationeditormodechanged", this.#editorModeChanged.bind(this));

[15903] Fix | Delete

}

[15904] Fix | Delete

#editorModeChanged({

[15905] Fix | Delete

mode

[15906] Fix | Delete

}) {

[15907] Fix | Delete

const {

[15908] Fix | Delete

editorFreeTextButton,

[15909] Fix | Delete

editorFreeTextParamsToolbar,

[15910] Fix | Delete

editorHighlightButton,

[15911] Fix | Delete

editorHighlightParamsToolbar,

[15912] Fix | Delete

editorInkButton,

[15913] Fix | Delete

editorInkParamsToolbar,

[15914] Fix | Delete

editorStampButton,

[15915] Fix | Delete

editorStampParamsToolbar

[15916] Fix | Delete

} = this.#opts;

[15917] Fix | Delete

toggleCheckedBtn(editorFreeTextButton, mode === AnnotationEditorType.FREETEXT, editorFreeTextParamsToolbar);

[15918] Fix | Delete

toggleCheckedBtn(editorHighlightButton, mode === AnnotationEditorType.HIGHLIGHT, editorHighlightParamsToolbar);

[15919] Fix | Delete

toggleCheckedBtn(editorInkButton, mode === AnnotationEditorType.INK, editorInkParamsToolbar);

[15920] Fix | Delete

toggleCheckedBtn(editorStampButton, mode === AnnotationEditorType.STAMP, editorStampParamsToolbar);

[15921] Fix | Delete

const isDisable = mode === AnnotationEditorType.DISABLE;

[15922] Fix | Delete

editorFreeTextButton.disabled = isDisable;

[15923] Fix | Delete

editorHighlightButton.disabled = isDisable;

[15924] Fix | Delete

editorInkButton.disabled = isDisable;

[15925] Fix | Delete

editorStampButton.disabled = isDisable;

[15926] Fix | Delete

}

[15927] Fix | Delete

#updateUIState(resetNumPages = false) {

[15928] Fix | Delete

const {

[15929] Fix | Delete

pageNumber,

[15930] Fix | Delete

pagesCount,

[15931] Fix | Delete

pageScaleValue,

[15932] Fix | Delete

pageScale

[15933] Fix | Delete

} = this;

[15934] Fix | Delete

const opts = this.#opts;

[15935] Fix | Delete

if (resetNumPages) {

[15936] Fix | Delete

if (this.hasPageLabels) {

[15937] Fix | Delete

opts.pageNumber.type = "text";

[15938] Fix | Delete

opts.numPages.setAttribute("data-l10n-id", "pdfjs-page-of-pages");

[15939] Fix | Delete

} else {

[15940] Fix | Delete

opts.pageNumber.type = "number";

[15941] Fix | Delete

opts.numPages.setAttribute("data-l10n-id", "pdfjs-of-pages");

[15942] Fix | Delete

opts.numPages.setAttribute("data-l10n-args", JSON.stringify({

[15943] Fix | Delete

pagesCount

[15944] Fix | Delete

}));

[15945] Fix | Delete

}

[15946] Fix | Delete

opts.pageNumber.max = pagesCount;

[15947] Fix | Delete

}

[15948] Fix | Delete

if (this.hasPageLabels) {

[15949] Fix | Delete

opts.pageNumber.value = this.pageLabel;

[15950] Fix | Delete

opts.numPages.setAttribute("data-l10n-args", JSON.stringify({

[15951] Fix | Delete

pageNumber,

[15952] Fix | Delete

pagesCount

[15953] Fix | Delete

}));

[15954] Fix | Delete

} else {

[15955] Fix | Delete

opts.pageNumber.value = pageNumber;

[15956] Fix | Delete

}

[15957] Fix | Delete

opts.previous.disabled = pageNumber <= 1;

[15958] Fix | Delete

opts.next.disabled = pageNumber >= pagesCount;

[15959] Fix | Delete

opts.zoomOut.disabled = pageScale <= MIN_SCALE;

[15960] Fix | Delete

opts.zoomIn.disabled = pageScale >= MAX_SCALE;

[15961] Fix | Delete

let predefinedValueFound = false;

[15962] Fix | Delete

for (const option of opts.scaleSelect.options) {

[15963] Fix | Delete

if (option.value !== pageScaleValue) {

[15964] Fix | Delete

option.selected = false;

[15965] Fix | Delete

continue;

[15966] Fix | Delete

}

[15967] Fix | Delete

option.selected = true;

[15968] Fix | Delete

predefinedValueFound = true;

[15969] Fix | Delete

}

[15970] Fix | Delete

if (!predefinedValueFound) {

[15971] Fix | Delete

opts.customScaleOption.selected = true;

[15972] Fix | Delete

opts.customScaleOption.setAttribute("data-l10n-args", JSON.stringify({

[15973] Fix | Delete

scale: Math.round(pageScale * 10000) / 100

[15974] Fix | Delete

}));

[15975] Fix | Delete

}

[15976] Fix | Delete

}

[15977] Fix | Delete

updateLoadingIndicatorState(loading = false) {

[15978] Fix | Delete

const {

[15979] Fix | Delete

pageNumber

[15980] Fix | Delete

} = this.#opts;

[15981] Fix | Delete

pageNumber.classList.toggle("loading", loading);

[15982] Fix | Delete

}

[15983] Fix | Delete

}

[15984] Fix | Delete

[15985] Fix | Delete

;// CONCATENATED MODULE: ./web/view_history.js

[15986] Fix | Delete

[15987] Fix | Delete

[15988] Fix | Delete

const DEFAULT_VIEW_HISTORY_CACHE_SIZE = 20;

[15989] Fix | Delete

class ViewHistory {

[15990] Fix | Delete

constructor(fingerprint, cacheSize = DEFAULT_VIEW_HISTORY_CACHE_SIZE) {

[15991] Fix | Delete

this.fingerprint = fingerprint;

[15992] Fix | Delete

this.cacheSize = cacheSize;

[15993] Fix | Delete

this._initializedPromise = this._readFromStorage().then(databaseStr => {

[15994] Fix | Delete

const database = JSON.parse(databaseStr || "{}");

[15995] Fix | Delete

let index = -1;

[15996] Fix | Delete

if (!Array.isArray(database.files)) {

[15997] Fix | Delete

database.files = [];

[15998] Fix | Delete

} else {

[15999] Fix | Delete

1 ...30 313233 34 ...38