Open edencaldas opened 7 years ago
Two of Ubuntu's keyboards shortcuts conflict with script-runner's alt-r.
Alt(tap) opens the hub. Alt(hold) reveals the application menu.
We need a separate shortcut or the ability to set a new one.
Can you propose an alternative?
F5 (like geany) CONTROL-R is in use unfortunately
But I wonder. There's a shortcut that uses CONTROL-SHIFT-F5, would it conflict with only F5?
Two of Ubuntu's keyboards shortcuts conflict with script-runner's alt-r.
Alt(tap) opens the hub. Alt(hold) reveals the application menu.
We need a separate shortcut or the ability to set a new one.