|
From: Jingzhao Ou <ja...@ya...> - 2003-10-14 22:43:23
|
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
|