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:
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: Dec 07 2023 at 08:19 UTC