PreviousNextTracker indexSee it online !

(89/207) 2007490 - Plugin property to specify requirement of settings directory

jEdit can be started with "-nosettings" on the command-line, in which case it will run without a settings directory. Many plugins require a settings directory, and cannot run without (e.g. CtagsInterface). Instead of dealing with this case in plugin code, better add a property to the plugin props file that specifies whether the plugin requires a settings directory in order to run (default: false), something like:


If this property is set to true, jEdit will not activate the plugin when invoked with "-nosettings".

Submitted shlomy - 2008-07-01 - 08:14:16z Assigned nobody
Priority 5 Category core
Status Open Group None
Resolution None Visibility No