Artem Khovanov (Jul 31 2022 at 16:13): Artem Khovanov (Jul 31 2022 at 16:13):Anyone know how to set keybinds? I'm stuck on this screen:
image.png
http://www.jedit.org/users-guide/global-opts.html#shortcuts-pane
This site says to click on the table, but for me nothing happens when I do this.
Mathias Fleury (Aug 24 2022 at 07:45):I assume that you already found it, but for the record (and for future people who find this topic): you have to double-click on the the "primary shortcut" column. This opens a modal window where you can enter a new shortcut
Last updated: Dec 21 2024 at 16:20 UTC