Isn't there really no way to make API added abbrevs persisted?
Here is what I'm doing just in case I wasn't specific enough:
Abbrevs.addModeAbbrev("netrexx", "selw", "select\n\n\twhen \\| then
So the "selw" abbreviation gets active inmediately and appears among
netrexx mode abbreviations at Global options. At that point if I save
them from global options the added abbreviations get persisted.
Otherwise they disappear whe the current jEdit session is closed.
So my question is: how would I go about save mode abbreviations
Many thanks in advance for any pointers.
Saludos / Kind regards.
-------- Mensaje original --------
Asunto: Persisting programmatically created abbrevs
Fecha: Tue, 19 Oct 2010 16:39:36 +0200
De: David Requena <drequena@...>
Para: jEdit-devel List <jedit-devel@...>
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?