You can edit menu shortcuts by pressing the new key while "hovering" over the item you want to change. Delete removes a shortcut. But GNOME disables the facility by default and has now hidden the option so you'll have to use gconf-editor or gconf-tool to set /desktop/gnome/interface/can_change_accels.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
For now you'll have to edit the file ~/.config/roxterm.sourceforge.net/Shortcuts/Default and delete the Help/Help=F1 line. If the file doesin't exist copy the supplied one from Config/Shortcuts/Default in the source tree or /usr/share/roxterm/Config/Shortcuts/Default from an installed package.
I'm going to make this a bit easier in the next release exactly because of the change to GTK.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
You can edit menu shortcuts by pressing the new key while "hovering" over the item you want to change. Delete removes a shortcut. But GNOME disables the facility by default and has now hidden the option so you'll have to use gconf-editor or gconf-tool to set /desktop/gnome/interface/can_change_accels.
The feature has been deprecated since GTK 3.10:
https://developer.gnome.org/gtk3/stable/GtkSettings.html#GtkSettings--gtk-can-change-accels
So the option is actually needed.
For now you'll have to edit the file ~/.config/roxterm.sourceforge.net/Shortcuts/Default and delete the Help/Help=F1 line. If the file doesin't exist copy the supplied one from Config/Shortcuts/Default in the source tree or /usr/share/roxterm/Config/Shortcuts/Default from an installed package.
I'm going to make this a bit easier in the next release exactly because of the change to GTK.
Thanks a lot. For some reason forgot to try editing configs manually.