Two numbers appear on 'Highlighted all' and 'Match diacritics' check box via show numbers command and cursor moves to 'Highlighted all' checkbox via 'Click match case' command.

Attach (recommended) or Link to PDF file here:

Configuration:

Web browser and its version: Microsoft Edge Version 118.0.2088.2 (Official build) dev (64-bit)
Operating system and its version: Window 11 version: 22621.2283
PDF.js version: 1.4

Steps to reproduce the problem:

Open this PDF viewer compressed.tracemonkey-pldi-09.pdf (mozilla.github.io)
Navigate through the collapsible/expandable items.
Navigate to 'Find' and its checkboxes control using 'Show numbers' and 'Click' command.
Observe the issue.

What is the expected behavior? (add screenshot) Only one number should appear for single control and with 'Click match case' command, only 'Match case' control should get activated and the cursor should move to the same control.

What went wrong? (add screenshot)

Two numbers appear on 'Highlighted all' and 'Match diacritics' check box via show numbers, where with one number 'Highlighted all' get activate and with another number 'Match case' checkbox gets activated.With 'Click Match case' command 'Match case' gets activated but the cursor moves to 'Highlighted all' checkbox.

Attachments:

https://github.com/gdh1995/pdf.js/assets/93735775/297e77a4-2ca4-43c2-83a3-92430b6ad5ed

https://github.com/gdh1995/pdf.js/assets/93735775/f144c5ec-29bd-4dc7-bfc0-d60b6bd6361b

gdh1995 / pdf.js

Two numbers appear on 'Highlighted all' and 'Match diacritics' check box via show numbers command and cursor moves to 'Highlighted all' checkbox via 'Click match case' command. #12