Menu
▾
▴
Re: [ jEdit-devel ] Sorry to insist: Persisting programmatically created abbrevs
|
From: Damien R. <dam...@gm...> - 2010-10-25 20:59:19
|
Is jEdit.saveSettings() what you're looking for? |