From: Fabrizio, D. J. <Dante.Fabrizio@InterDigital.com> - 2000-05-01 19:14:39
|
Slava Could you push up the priority to making abbreviations easier to distribute. I use 2 systems at work ( solaris and windows) and 2 systems at home ( linux and windows ). I have made a bunch of abbreviations at work on the windows machine and need to move them to the other systems. I would just copy the abbrevs file in the user home area but it looks like jEdit overwrites it. Can we put the abbreviations and possibly templates in the mode file? Thanks, Dan Fabrizio |