I have LM 19 Tara, 64 bit. Jed Version: 0.99.19
I have been experimenting with Jed as a text editor for a remote terminal. It seems better than nano but as intimidating as vi. In Mint 18.3, I pressed Esc twice to access the menu. Now with 19, the default menu key is F10. Sometimes I have to press it twice. This is annoying because my laptop requires me to press "Fn+10." Also F10 is harder to find without looking than Esc.
I've searched a lot of Jed docs and some reference the double Esc but most refer to F10. So I guess it changed at some point. I would like to change the menu key back to Esc or double Esc but Jed's .sl configuration files are pretty confusing.
Does anybody use Jed and have any input on this?
Changing F10 key in Jed
Forum rules
Before you post read how to get help. Topics in this forum are automatically closed 6 months after creation.
Before you post read how to get help. Topics in this forum are automatically closed 6 months after creation.
Changing F10 key in Jed
Last edited by LockBot on Wed Dec 28, 2022 7:16 am, edited 1 time in total.
Reason: Topic automatically closed 6 months after creation. New replies are no longer allowed.
Reason: Topic automatically closed 6 months after creation. New replies are no longer allowed.
Linux newbie since 1997