From 335cea22b32f3cf953b96faf0b415f2f4210344d Mon Sep 17 00:00:00 2001
From: Calixte Denizet <calixte.denizet@gmail.com>
Date: Wed, 4 Oct 2023 21:30:06 +0200
Subject: [PATCH] [Editor] Add role=spinbutton to resizers when they're used
 with the keyboard

---
 src/display/editor/editor.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/display/editor/editor.js b/src/display/editor/editor.js
index 026284ced..04296b46f 100644
--- a/src/display/editor/editor.js
+++ b/src/display/editor/editor.js
@@ -1422,6 +1422,7 @@ class AnnotationEditor {
       const boundResizerBlur = this.#resizerBlur.bind(this);
       for (const div of this.#allResizerDivs) {
         const name = div.getAttribute("data-resizer-name");
+        div.setAttribute("role", "spinbutton");
         div.addEventListener("keydown", boundResizerKeydown);
         div.addEventListener("blur", boundResizerBlur);
         div.addEventListener("focus", this.#resizerFocus.bind(this, name));