[ jEdit-devel ] Properties

[Dominic S. <do...@ss...>]

Forgive me if this is obvious, but could someone explain how the properties
work in jEdit. 
Does jEdit automatically load from the .props file in the plugin jar file?
Does it automatically save the properties when jEdit.setProperty() is used?
And one last question, if a property is set that is not in the .props
plugin file, is it saved?

Thanks



Dominic Stolerman
SSPD Webmaster

web...@ss...
-------------------------
SSPD Website:
http://www.sspd.org.uk
-------------------------