From: Rudolf W. <Rud...@we...> - 2005-12-15 21:05:39
|
I developed a plugin named KeyMap which handles key bindings problems. Features: - display key mapping in dockable window - display all available edit-actions - sort for arbitrary criterias - map / unmap keys to actions - save configuration in portable xml - supports central unchangable (jEdit home) and individual (user) keymaps I would like to release it, but unfortuately my cvs access doesn't work anymore (I installed wincvs and putty, but this never worked, so I gave up). Perhaps anybody is so kind to release it for me. Anyway, I can send the jar to everybody who is interested in the plugin. > --__--__-- > > Message: 3 > Date: Mon, 12 Dec 2005 15:36:44 -0500 > From: Tod <to...@ma...> > To: jed...@li... > Subject: [ jEdit-users ] Key Bindings > > Is there a file that I can modify to change my key bindings all at once, > rather than having to do them individually? > > > Thanks - Tod > > |