Ctrl-shift-U does not work work when editor is focused

I just noticed a small bug: When the editor is focused, ctrl-shift-u for "Upload using programmer" does not work. Ctrl-u for normal upload works, and when removing the focus from the editor (e.g. clicking the messages window below the editor) makes ctrl-shift-u work again.

This was using a few weeks old master version, on Linux.

Can anyone confirm this?

Reproduce the shortcut failure on Linux in the Arduino IDE 1.x with the editor focused, then compare it with Ctrl-U and with the editor unfocused. Done means Ctrl-Shift-U triggers “Upload using programmer” while the editor has focus, without breaking normal upload.

Written by the indexing model from the issue text.