From: Mauro Z. <mza...@ya...> - 2008-12-29 01:58:26
|
Hello all. I am looking for a way to programmatically define a new set of key bindings to replace the default shortcuts defined in Global Options Shortcuts. The intent is to switch between the new key bindings and the original. Where might I look to so this? Mauro. |
From: Shlomy R. <sre...@gm...> - 2008-12-29 07:06:07
|
The keyboard shortcuts are stored in jEdit properties, for example: goto-line.shortcut=C+l The property name consists of an action name ("goto-line" in this case) followed by ".shortcut". You can change the properties programmatically, using BeanShell macros, for example: jEdit.setProperty("goto-line.shortcut", "F4"); User-defined BeanShell macros normally appear under the "Macros" menu, so you can operate them from there. I'd suggest reading about macros in the jEdit help file to find out how to create one (a simple way to begin is Macros -> Record macro). Shlomy On Mon, Dec 29, 2008 at 3:31 AM, Mauro Zallocco <mza...@ya...> wrote: > Hello all. > > I am looking for a way to programmatically define a new set of key > bindings to replace the default shortcuts defined in > Global Options Shortcuts. > The intent is to switch between the new key bindings and the original. > > Where might I look to so this? > > Mauro. > > > > > > ------------------------------------------------------------------------------ > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users > |
From: Robert S. <Robert@Schwenn-R.de> - 2008-12-29 18:32:24
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type"> <title></title> </head> <body bgcolor="#ffffff" text="#000000"> <tt>Hi, <br> You could also take a look at this <a href="http://community.jedit.org/?q=node/view/3934#7332">forum thread</a>.</tt><br> <br> <tt>Robert</tt><br> <br> <br> <tt>Shlomy Reinstein wrote:</tt> <blockquote cite="mid:fa5...@ma..." type="cite"><tt>The keyboard shortcuts are stored in jEdit properties, for example:<br> <br> goto-line.shortcut=C+l<br> <br> The property name consists of an action name ("goto-line" in this<br> case) followed by ".shortcut". You can change the properties<br> programmatically, using BeanShell macros, for example:<br> <br> jEdit.setProperty("goto-line.shortcut", "F4");<br> <br> User-defined BeanShell macros normally appear under the "Macros" menu,<br> so you can operate them from there. I'd suggest reading about macros<br> in the jEdit help file to find out how to create one (a simple way to<br> begin is Macros -> Record macro).<br> <br> Shlomy<br> <br> <br> On Mon, Dec 29, 2008 at 3:31 AM, Mauro Zallocco <a class="moz-txt-link-rfc2396E" href="mailto:mza...@ya..."><mza...@ya...></a> wrote:<br> </tt> <blockquote type="cite"><tt>Hello all.<br> <br> I am looking for a way to programmatically define a new set of key<br> bindings to replace the default shortcuts defined in<br> Global Options Shortcuts.<br> The intent is to switch between the new key bindings and the original.<br> <br> Where might I look to so this?<br> <br> Mauro.<br> <br> </tt></blockquote> </blockquote> </body> </html> |