Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#146 Jazzy: add to external dictionary not working

open
nobody
None
5
2003-07-29
2003-07-29
Anonymous
No

Words added by the Jazzy dialog to the (external)
dictionary are not saved there, whether
"options.jazzy.disk-based" is set (1) or not (2).

(1)
options.jazzy.disk-based=true
options.jazzy.dictionary=/home/nolda/tmp/words

(2)
options.jazzy.dictionary=/home/nolda/tmp/test.dic

I am using JazzyPlugin 0.2.1 with JEdit 4.1final and
IBM's 1.4.1 JRE on Linux.

Andreas Nolda
andreas.nolda@rz.hu-berlin.de

Discussion