Uploaded image for project: 'BlueJ'
  1. BlueJ
  2. BLUEJ-903

AltGr+digit inadvertently triggers the Ctrl+digit tab selection shortcut

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Medium
    • Resolution: Done
    • Affects Version/s: 4.0.0
    • Fix Version/s: 4.0.1
    • Component/s: None

      Description

      In the editor window, we let Ctrl+8 select the 8th tab. However, AltGr+8 is used on some German keyboards to enter special characters. Because Java maps AltGr->Ctrl+Alt, the AltGr+8 becomes Ctrl+Alt+8, which inadvertently triggers the Ctrl+8 shortcut. We should distinguish between AltGr and Ctrl, probably by checking if Alt is also pressed.

        Attachments

          Activity

            People

            • Assignee:
              nccb Neil Brown
              Reporter:
              nccb Neil Brown
            • Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: