public void action(Component c) { Resizable.ResizeCorner corner = new Resizable.ResizeCorner(Resizable.UPPER_RIGHT); corner.addMouseListener(_resizableSupport.getResizable().getMouseInputAdapter()); corner.addMouseMotionListener(_resizableSupport.getResizable().getMouseInputAdapter()); ((JideScrollPane) c).setScrollBarCorner(JideScrollPane.VERTICAL_TOP, corner); ((JideScrollPane) c).setScrollBarCorner(JideScrollPane.VERTICAL_BOTTOM, null); }
public void action(Component c) { Resizable.ResizeCorner corner = new Resizable.ResizeCorner(Resizable.LOWER_RIGHT); corner.addMouseListener(_resizableSupport.getResizable().getMouseInputAdapter()); corner.addMouseMotionListener(_resizableSupport.getResizable().getMouseInputAdapter()); ((JideScrollPane) c).setScrollBarCorner(JideScrollPane.VERTICAL_BOTTOM, corner); ((JideScrollPane) c).setScrollBarCorner(JideScrollPane.VERTICAL_TOP, null); }
case Resizable.UPPER_RIGHT: if (_resizableSupport != null) { _resizableSupport.getResizable().setResizableCorners(Resizable.UPPER_RIGHT); JideSwingUtilities.setRecursively(this, new JideSwingUtilities.Handler() { public boolean condition(Component c) { case Resizable.LOWER_RIGHT: if (_resizableSupport != null) { _resizableSupport.getResizable().setResizableCorners(Resizable.LOWER_RIGHT); JideSwingUtilities.setRecursively(this, new JideSwingUtilities.Handler() { public boolean condition(Component c) { default: if (_resizableSupport != null) { _resizableSupport.getResizable().setResizableCorners(corner);
protected void installBorder() { if (getPopupBorder() != null && (!(_resizableSupport instanceof Component) || getPopupBorder().getBorderInsets((Component) _resizableSupport) != null)) { if (isResizable()) { _resizableSupport.getResizable().setResizableCorners(Resizable.ALL); _resizableSupport.getResizable().setResizableCorners(Resizable.NONE); if (isDetached()) { if (isResizable()) { _resizableSupport.getResizable().setResizableCorners(Resizable.ALL); _resizableSupport.getResizable().setResizableCorners(Resizable.NONE); _resizableSupport.getResizable().setResizableCorners(Resizable.RIGHT | Resizable.LOWER | Resizable.LOWER_RIGHT); _resizableSupport.getResizable().setResizableCorners(Resizable.NONE);
_resizableSupport.getResizable().setResizableCorners(Resizable.ALL); _resizableSupport.getResizable().setResizableCorners(Resizable.NONE); _resizableSupport.getResizable().setResizableCorners(Resizable.RIGHT | Resizable.LOWER | Resizable.LOWER_RIGHT); _resizableSupport.getResizable().setResizableCorners(Resizable.NONE);