gnome-shell-extension-ddterm
gnome-shell-extension-ddterm copied to clipboard
Keyboard Shortcuts - Global/Application Shortcuts - Cannot detete/reset shortcuts, no reuse detection
Hi
There is no option to delete an associated shortcut, which can cause issues. Also, there is no reuse detection so I can set the same shortcut for any number of actions.
Also I had issues finding the location of the configuration file to edit it manually which could have been a workaround and I found no related documentation about it either.
Is there a chance that these features will be implemented?
Thanks and best regards
Aladar
You could disable key bindings by pressing "Backspace".
Here I've just copied Gnome Terminal UI. Maybe a context menu with "Disable/Reset" item should help.
Also I had issues finding the location of the configuration file to edit it manually which could have been a workaround and I found no related documentation about it either.
Settings are stored in dconf (/com/github/amezin/ddterm
). Just like any other Gnome app.
Also when set/unset keybinding - it will be shown/applied after config dialog is restarted. So you can't see if keybinding is set or not on a fly.