This patch has a side-effect of not preserving the leading whitespace in case the ideal indentation level is the same as the current (existing) indentation level.
I recall that there was an explicit request (don't remember why) to preserve the existing whitespace if the level of indentation is okay. Personally, I'd prefer jEdit to replace the leading whitespace with the default (e.g. if my...
I try to add Navigator plugin's 'back' and 'forward' actions to the toolbar, but after clicking 'Apply' or 'Ok' in the tool bar dialog, nothing happens - no buttons are added to the toolbar.
I am using 5.1pre1server-background mode, on Windows 7.
While it's good that the Global Options dialog is unified with the Plugin Options, I think that 'Utilities->Options' should open the global options tab, not the plugin options (which is typically what happens to me). So, when clicking Utilities->Options, make the Global Options tab active.