Menu
▾
▴
[ jEdit-devel ] [ jedit-Plugin Bugs-3394593 ] Optional : scrollbar not appearing for big optionpanes.
|
From: SourceForge.net <no...@so...> - 2011-11-22 20:38:52
|
Plugin Bugs item #3394593, was opened at 2011-08-19 08:32 Message generated for change (Comment added) made by daleanson You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3394593&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: None Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Steve (snarum-micron) Assigned to: Dale Anson (daleanson) Summary: Optional : scrollbar not appearing for big optionpanes. Initial Comment: Beauty 0.7.0, with jEdit 4.5pre1 daily of Aug 9th, Common Controls 1.3, Sun Java 1.6.0_26, WinXP64. Beauty Plugin Options Custom Beautifier pane extends off the bottom of the window, but has no scroll bar. ---------------------------------------------------------------------- >Comment By: Dale Anson (daleanson) Date: 2011-11-22 12:38 Message: Fixed in revision 20411. ---------------------------------------------------------------------- Comment By: Dale Anson (daleanson) Date: 2011-08-19 10:32 Message: I'll add the scrollbars to Optional. ---------------------------------------------------------------------- Comment By: Steve (snarum-micron) Date: 2011-08-19 10:06 Message: Yes, I meant to mention, using Optional 1.0.2. With Optional disabled, the scroll bar appears as I would expect. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2011-08-19 09:51 Message: I see this when I am using Optional plugin. Dale, it might be that the scrollbar code you added to core never made it into Optional? ---------------------------------------------------------------------- Comment By: Dale Anson (daleanson) Date: 2011-08-19 08:58 Message: That's odd. The scrollbars are actually part of the jEdit option pane. If I make the option pane small enough, I get scrollbars for both directions. What happens if you resize the option pane dialog? ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3394593&group_id=588 |