mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 22:58:07 +02:00
Code Activity

Merge pull request #19185 from Snuffleupagus/issue-19175

Browse source 
Support toggling the `PDFFindBar` options with the `Enter` key (issue 19175)
This commit is contained in:
Jonas Jenwald 2024-12-06 23:32:58 +01:00 • committed by GitHub
commit b870c5d2ad
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 19 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

39
web/pdf_find_bar.js
View file

@ -46,6 +46,13 @@ class PDFFindBar {
this.eventBus = eventBus;
this.#mainContainer = mainContainer;
const checkedInputs = new Map([
[this.highlightAll, "highlightallchange"],
[this.caseSensitive, "casesensitivitychange"],
[this.entireWord, "entirewordchange"],
[this.matchDiacritics, "diacriticmatchingchange"],
]);
// Add event listeners to the DOM elements.
this.toggleButton.addEventListener("click", () => {
this.toggle();
@ -55,11 +62,14 @@ class PDFFindBar {
this.dispatchEvent("");
});
this.bar.addEventListener("keydown", e => {
switch (e.keyCode) {
this.bar.addEventListener("keydown", ({ keyCode, shiftKey, target }) => {
switch (keyCode) {
case 13: // Enter
if (e.target === this.findField) {
this.dispatchEvent("again", e.shiftKey);
if (target === this.findField) {
this.dispatchEvent("again", shiftKey);
} else if (checkedInputs.has(target)) {
target.checked = !target.checked;
this.dispatchEvent(/* evtName = */ checkedInputs.get(target));
}
break;
case 27: // Escape
@ -71,26 +81,15 @@ class PDFFindBar {
this.findPreviousButton.addEventListener("click", () => {
this.dispatchEvent("again", true);
});
this.findNextButton.addEventListener("click", () => {
this.dispatchEvent("again", false);
});
this.highlightAll.addEventListener("click", () => {
this.dispatchEvent("highlightallchange");
});
this.caseSensitive.addEventListener("click", () => {
this.dispatchEvent("casesensitivitychange");
});
this.entireWord.addEventListener("click", () => {
this.dispatchEvent("entirewordchange");
});
this.matchDiacritics.addEventListener("click", () => {
this.dispatchEvent("diacriticmatchingchange");
});
for (const [elem, evtName] of checkedInputs) {
elem.addEventListener("click", () => {
this.dispatchEvent(evtName);
});
}
}
reset() {