[Users] [Bug 4026] Impossible to use 'F10' as a hotkey

noreply at thewildbeast.co.uk noreply at thewildbeast.co.uk
Tue May 15 10:18:32 CEST 2018


--- Comment #1 from Andrej Kacian <andrej at kacian.sk> ---
I'm not sure if we should mess with the in-built GTK+ default keybindings, in
order not to break other users' expectations, but if so, this would be a way to
do it.


You are receiving this mail because:
You are the assignee for the bug.

More information about the Users mailing list