I'm able to insert new abbrevs into some mode via the Abbrevs API and
these get immediately active.
Unfortunately such abbrevs get discarded when jEdit is closed. I could
not find any way to persist them short of directly manipulating the
abbrevs file at the settings directory.
How could this be best done?
Saludos / Kind regards.
Get latest updates about Open Source Projects, Conferences and News.