Stream: Beginner Questions

Topic: keybinds in jEdit


view this post on Zulip 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.

view this post on Zulip 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: Mar 29 2024 at 12:28 UTC