Menu
▾
▴
[ jEdit-devel ] [ jedit-Patches-2817362 ] Slimmer scroll bars for TextArea
|
From: SourceForge.net <no...@so...> - 2009-07-06 16:02:13
|
Patches item #2817362, was opened at 2009-07-06 12:25 Message generated for change (Comment added) made by urlwolf You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=2817362&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: texteditor Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Jocelyn Turcotte (jturcotte) Assigned to: Nobody/Anonymous (nobody) Summary: Slimmer scroll bars for TextArea Initial Comment: 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 kind of documentation should be adjusted to go along this feature, changelog? manual? anything else? Thanks ---------------------------------------------------------------------- Comment By: Jose Quesada (urlwolf) Date: 2009-07-06 18:02 Message: I like the idea a lot. +1 ---------------------------------------------------------------------- Comment By: Jocelyn Turcotte (jturcotte) Date: 2009-07-06 16:19 Message: 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 use PgUp/Down and the mouse wheel over the scroll bars are most likely to enable this Any thought about this? ---------------------------------------------------------------------- Comment By: Jocelyn Turcotte (jturcotte) Date: 2009-07-06 16:06 Message: 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. ---------------------------------------------------------------------- Comment By: Seph M. Soliman (scarlac) Date: 2009-07-06 13:00 Message: If possible, I would recommend this as a plugin not a core patch. Changing the look of the scrollbars has implications for the look and feel of jedit. I would initially recommend against it. Regards Seph ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=2817362&group_id=588 |