Re: what are all the places with keyboard shortcut settings?

dummy@example.com (GNUser) — Fri, 19 Oct 2018 14:37:41 +0000

I found this in caja's source code:

gtk_binding_entry_add_signal (binding_set, GDK_KEY_F5, 0,
                                  "reload", 0);

Does it mean that this particular shortcut (F5 to reload) is hard-wired into caja and therefore I'm not going to find it listed anyplace where configurable keyboard shortcuts are listed?

what are all the places with keyboard shortcut settings?

dummy@example.com (GNUser) — Fri, 19 Oct 2018 13:24:50 +0000

I'm on ASCII with MATE. I use (and like) F5 to refresh the file manager. However, I'm puzzled that I can't seem to find this keybinding anywhere. I've tried all of these...

System -> Preferences -> Keyboard Shortcuts
System-> Preferences -> Keyboard -> Layouts -> Options
$ gsettings list-recursively | grep F5
$ cat ~/.config/caja/accels | grep F5

...and I don't see any mention of F5 anywhere.

I'm obviously missing at least one place where keyboard shortcut settings are stored. In general, do you know of other places? Specifically, do you know where the F5 keybinding is hiding, so that I could change it if I wanted to?

Dev1 Galaxy Forum / what are all the places with keyboard shortcut settings?

Re: what are all the places with keyboard shortcut settings?

what are all the places with keyboard shortcut settings?