-
shlomy committed revision 22960 to the jEdit SVN repository, changing 1 files.
2013-04-28 21:36:35 PDT in jEdit
-
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...
2013-03-31 03:03:44 PDT in jEdit
-
shlomy pushed 1 commit(s) to refs/heads/master in the CtagsInterface Git repository of the jEdit project.
2013-03-30 13:37:07 PDT in jEdit
-
shlomy pushed 1 commit(s) to refs/heads/master in the CtagsInterface Git repository of the jEdit project.
2013-03-28 04:51:53 PDT in jEdit
-
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.
2013-02-27 00:19:22 PST in jEdit
-
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.
2013-02-27 00:14:09 PST in jEdit
