|
From: Alan E. <ala...@gm...> - 2005-12-13 16:49:30
|
your ~/.jedit/properties file has all the shortcuts on printable lines. You could sort it so you see them all together, and then edit it with a normal text editor (probably not jedit, since you don't want to have it running while you are editing the properties). On 12/12/05, Tod <to...@ma...> wrote: > 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 > > > ------------------------------------------------------- > This SF.net email is sponsored by: Splunk Inc. Do you grep through log fi= les > for problems? Stop! Download the new AJAX search engine that makes > searching your log files as easy as surfing the web. DOWNLOAD SPLUNK! > http://ads.osdn.com/?ad_id=3D7637&alloc_id=3D16865&op=3Dclick > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users > |