Hi,
I do not know if the MetalColor plugin is the right way to implement this feature,
but I hope I am not too far off. I love the adjust the scrollbar width feature of
the plugin, but I wanted to ask if it is possible to also to somehow omit the left
and more importantly the right border around the textArea, as it is in many applications,
for example Firefox (see attached picture). This way, when jEdit is maximized, I do
not have to concentrate on finding the scrollbar with the mouse pointer but I can
simply go to the right side of the screen and be sure that any click will be on the
scrollbar. This would be very convenient especially with reduced width scrollbars.
Thanks, tvojeho
Submitted | tvojeho - 2010-04-23 13:21:22 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |
2010-04-23 13:21:23 tvojeho |
picture.jpg (8.7Kio) |
---|---|
2010-05-07 21:19:14 jturcotte |
What the plugin does is override some properties used by the theme engine of the default
Java look'n feel to customize stuff for different platform themes.
|
2010-05-08 09:09:38 tvojeho |
That's unfortunate. Thanks for looking at it, anyway. |