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|