[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


http://www.thewildbeast.co.uk/claws-mail/bugzilla/show_bug.cgi?id=4026

--- 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.

https://www.mail-archive.com/qemu-devel@nongnu.org/msg533073.html
https://developer.gnome.org/gtk2/2.24/GtkSettings.html#GtkSettings--gtk-menu-bar-accel

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



More information about the Users mailing list