Re: [ jEdit-users ] Adding shortcuts

[Jingzhao Ou <ja...@ya...>]

Dear Slava,

Yes, I know how to do it in the Shortcuts option pane. However, I am using
jEdit on several machines (more than five). So, I want to have a single Jython
script that can help me to configure jEdit to the way I like it to be, for
example, adding more 30 shortcuts in the tex mode as well as the macros.

Right now, whenever I change the settings of jEdit, I change the Jython script
first and then run this script on all the machines. 

Maybe you have better suggestions for me to do this since you are definitely a
great expert of jEdit. :-)

BTW, the Jython interpreter in jEdit is very useful for me. When I write/debug
Jython code, if I use the normal command line (on WinOS), it will take a long
time to bring up the JVM first and then execute my code. I found out that using
jEdit and Jython interpreter, the whole process is much much faster. 

Best regards,
Jingzhao

--- Slava Pestov <sl...@je...> wrote:
> Of course you could just do this in the Shortcuts option pane?
> 
> On Tue, 2003-10-14 at 05:03, Jingzhao Ou wrote:
> > Dear Slava,
> > 
> > Thanks a lot! Now, I can add shortcuts to my macros using
> > 
> > jEdit.setProperty('Zoom_Out.py.shortcut', 'C+MINUS')
> > jEdit.setProperty('Zoom_In.py.shortcut', 'C+EQUALS')
> > 
> > Best regards,
> > Jingzhao