From: <kp...@us...> - 2011-11-08 19:48:06
|
Revision: 20260 http://jedit.svn.sourceforge.net/jedit/?rev=20260&view=rev Author: kpouer Date: 2011-11-08 19:47:58 +0000 (Tue, 08 Nov 2011) Log Message: ----------- toolbar fix Modified Paths: -------------- plugins/Ancestor/trunk/src/gatchan/jedit/ancestor/AncestorPlugin.java Modified: plugins/Ancestor/trunk/src/gatchan/jedit/ancestor/AncestorPlugin.java =================================================================== --- plugins/Ancestor/trunk/src/gatchan/jedit/ancestor/AncestorPlugin.java 2011-11-08 19:38:00 UTC (rev 20259) +++ plugins/Ancestor/trunk/src/gatchan/jedit/ancestor/AncestorPlugin.java 2011-11-08 19:47:58 UTC (rev 20260) @@ -70,6 +70,7 @@ JComponent toolBar = getViewToolbar(view); toolBar.add(ancestorToolBar); + toolBar.validate(); topToolbars.put(view, toolBar); viewAncestorToolBar.put(view, ancestorToolBar); } //}}} @@ -119,9 +120,16 @@ JComponent top = topToolbars.get(view); top.remove(toolBar); if (top.getComponentCount() == 0) + { + topToolbars.remove(view); view.removeToolBar(top); + } + else + { + top.validate(); + top.repaint(); + } viewAncestorToolBar.remove(view); - topToolbars.remove(view); } //}}} //{{{ handleViewUpdate() method This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |