Re: [ jEdit-devel ] Properties

[Kevin A. B. <bu...@re...>]

Dominic Stolerman wrote:
> 
> 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?

Yes

> Does it automatically save the properties when jEdit.setProperty() is used?

Yes... but not in the jar file... in jEdit's property file

> And one last question, if a property is set that is not in the .props
> plugin file, is it saved?

Yes

-- 
Kevin A Burton
Senior Software Engineer
Kendara Inc
http://www.kendara.com
Mobile:  408-910-6145
Linux - The revolution will NOT be televised