Author: estherbin Date: 2008-06-18 11:22:26 -0400 (Wed, 18 Jun 2008) New Revision: 8829 Modified: trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/xpl/CustomSashForm.java Log: Fix http://jira.jboss.com/jira/browse/JBIDE-2337 Modified: trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/xpl/CustomSashForm.java =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/xpl/CustomSashForm.java 2008-06-18 15:22:03 UTC (rev 8828) +++ trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/xpl/CustomSashForm.java 2008-06-18 15:22:26 UTC (rev 8829) @@ -43,7 +43,14 @@ public class CustomSashForm extends SashForm { public static final String copyright = "(c) Copyright IBM Corporation 2002."; //$NON-NLS-1$ + + //added by estherbin + //fix http://jira.jboss.com/jira/browse/JBIDE-2337 /** + * Determine is hidden or not. + */ + private boolean isHidden = false; + /** * Custom style bits. They set whether max to one side of the other * is not permitted. For example, if NO_MAX_UP, then there will be only * one arrow. When not maxed, it will point down (and will do a max down), @@ -286,6 +293,11 @@ * @see org.eclipse.swt.events.ControlAdapter#controlMoved(ControlEvent) */ public void controlMoved(ControlEvent e) { + if(e.widget instanceof Sash){ + Sash s = (Sash) e.widget; + String text = s.getToolTipText(); +// if(text.equalsIgnoreCase(anotherString)) + } recomputeSashInfo(); } @@ -496,6 +508,9 @@ drawArrows[1] = DOWN_ARROW; currentSashInfo.sashBorderLeft = false; currentSashInfo.sashBorderRight = sashBorders != null ? sashBorders[1] : false; + //added by estherbin + //fix http://jira.jboss.com/jira/browse/JBIDE-2337 + this.isHidden = true; } else if (weights[1] == 0 || (currentSashInfo.weight != NO_WEIGHT && sashBounds.y+sashBounds.height >= clientArea.height-DRAG_MINIMUM)) { // Slammed to the bottom addArrows[0] = UP_ARROW; @@ -504,6 +519,9 @@ drawArrows[1] = UP_MAX_ARROW; currentSashInfo.sashBorderLeft = sashBorders != null ? sashBorders[0] : false; currentSashInfo.sashBorderRight = false; + //added by estherbin + //fix http://jira.jboss.com/jira/browse/JBIDE-2337 + this.isHidden = true; } else { // Not slammed addArrows[0] = UP_MAX_ARROW; @@ -512,7 +530,10 @@ drawArrows[1] = DOWN_ARROW; currentSashInfo.weight = NO_WEIGHT; // Since we are in the middle, there is no weight. We've could of been dragged here. currentSashInfo.sashBorderLeft = sashBorders != null ? sashBorders[0] : false; - currentSashInfo.sashBorderRight = sashBorders != null ? sashBorders[1] : false; + currentSashInfo.sashBorderRight = sashBorders != null ? sashBorders[1] : false; + //added by estherbin + //fix http://jira.jboss.com/jira/browse/JBIDE-2337 + this.isHidden=false; } } getNewSashArray(currentSashInfo, addArrows, drawArrows); @@ -642,6 +663,16 @@ y+=tSize; } } + //added by estherbin + //fix http://jira.jboss.com/jira/browse/JBIDE-2337 + /** + * Determine is hidden or not. + * @return <code>true</code> if hidden otherwise <code>false</code> + */ + + public boolean isHidden(){ + return this.isHidden; + } protected void drawSashBorder(GC gc, Sash sash, boolean leftBorder) { gc.setForeground(borderColor);