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:
plugin.<plugin-id>.requires-settings-directory=true
If this property is set to true, jEdit will not activate the plugin when invoked with
"-nosettings".
| Submitted | nobody - 2008-07-01 08:14:16 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | core |
| Status | open | Group | None |
| Resolution | None |