-
Maybe the problem is simply that the "selection area when no line number" option is enabled by default.
It took me some time to discover that it was a new option myself.
And since I also often use vertical splits, I think that the amount of space taken weight more than the added functionality.
2009-08-08 09:45:28 UTC in jEdit
-
jturcotte committed revision 15812 to the jEdit SVN repository, changing 3 files.
2009-07-29 14:38:10 UTC in jEdit
-
I got this error on 1.0 and 0.1
The plugin raise the following error and refuse to work or allow source tree configuration in the options pane:
1:55:56 PM [main] [error] main: java.lang.NullPointerException
1:55:56 PM [main] [error] main: at java.lang.Class.forName0(Native Method)
1:55:56 PM [main] [error] main: at java.lang.Class.forName(Class.java:169)
1:55:56 PM [main] [error] main...
2009-07-29 12:23:17 UTC in jEdit
-
Added the feature in the MetalColor plugin instead since the plugin already handles UIDefaults parameters.
The scroll bars can be shrinked down to 5 pixels max against 1 pixel with this patch, but with the plugin change, the scrollbars are still real scrollbars and jEdit global options are not poluted with properties that will only be changed by a minority.
closing this request.
2009-07-12 20:24:46 UTC in jEdit
-
{{{ MetalColor 1.1.0
Source: https://jedit.svn.sourceforge.net/svnroot/jedit/plugins/MetalColor/tags/metalcolor-1_1_0
Announcement: Adds the possibility to change scrollbars width and color
Requires Java 1.5
Requires jEdit 04.02.01.00
Short Description: Allows you to customize parameters of the Metal look & feel.
Long Description:
Allows...
2009-07-12 20:20:12 UTC in jEdit
-
jturcotte committed revision 15695 to the jEdit SVN repository, changing 1 files.
2009-07-12 20:16:33 UTC in jEdit
-
jturcotte committed revision 15694 to the jEdit SVN repository, changing 6 files.
2009-07-12 20:07:33 UTC in jEdit
-
It would be possible to override some UIDefault of the Metal look and feel, however this would have the disadvantage of:
- Changing all the scroll bars of the UI instead of just the TextArea ones
- It would not work with other look and feels
By the way, this patch behaviour is optional and not enabled unless you enable it through the global options.
People with a laptop screen which prefer to...
2009-07-06 14:19:12 UTC in jEdit
-
I see what you mean,
however I don't think it is possible for plugins to override this kind of stuff from the core as it currently is.
I'll try to find another way.
2009-07-06 14:06:55 UTC in jEdit
-
This patch allow the user to use 1-pixel, display only, vertical and/or horizontal scroll bars.
The main goal is to save space when using 3 or more split windows.
I'd like to know what you think about it.
Here are some questions you may help me with too:
- I added 4 properties in the textarea option pane, 2 for colors and 2 for both scroll bars type selection. Is that too much?
- What...
2009-07-06 10:25:37 UTC in jEdit
