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

[Editor] Make the delete button clickable with the space key (bug 1882248)

Browse source
This commit is contained in:
Calixte Denizet 2024-02-29 19:05:38 +01:00
parent 7cc34cf4a7
commit f52bf2836f
2 changed files with 38 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/display/editor/tools.js
View file

@ -711,7 +711,9 @@ class AnnotationEditorUIManager {
// Those shortcuts can be used in the toolbar for some other actions
// like zooming, hence we need to check if the container has the
// focus.
checker: self => self.#container.contains(document.activeElement),
checker: (self, { target: el }) =>
!(el instanceof HTMLButtonElement) &&
self.#container.contains(document.activeElement),
},
],
[["Escape", "mac+Escape"], proto.unselectAll],