|
|
@ -19,7 +19,7 @@ import java.awt.event.MouseMotionListener; |
|
|
|
public class UIEastResizableContainer extends JPanel { |
|
|
|
public class UIEastResizableContainer extends JPanel { |
|
|
|
private static final long serialVersionUID = 1854340560790476907L; |
|
|
|
private static final long serialVersionUID = 1854340560790476907L; |
|
|
|
|
|
|
|
|
|
|
|
public static final int MAX_CONTAINER_WIDTH = 500; |
|
|
|
public static final int MAX_CONTAINER_WIDTH = 340; |
|
|
|
public static final int MIN_CONTAINER_WIDTH = 286; |
|
|
|
public static final int MIN_CONTAINER_WIDTH = 286; |
|
|
|
|
|
|
|
|
|
|
|
private int containerWidth = 240; |
|
|
|
private int containerWidth = 240; |
|
|
@ -266,13 +266,7 @@ public class UIEastResizableContainer extends JPanel { |
|
|
|
|
|
|
|
|
|
|
|
@Override |
|
|
|
@Override |
|
|
|
public void mouseDragged(MouseEvent e) { |
|
|
|
public void mouseDragged(MouseEvent e) { |
|
|
|
containerWidth = UIEastResizableContainer.this.getWidth() + (UIEastResizableContainer.this.getLocationOnScreen().x - e.getXOnScreen()); |
|
|
|
// do noting
|
|
|
|
containerWidth = Math.min(containerWidth, MAX_CONTAINER_WIDTH); |
|
|
|
|
|
|
|
containerWidth = Math.max(containerWidth, MIN_CONTAINER_WIDTH); |
|
|
|
|
|
|
|
refreshContainer(); |
|
|
|
|
|
|
|
if ( DesignModeContext.isAuthorityEditing()) { |
|
|
|
|
|
|
|
DesignerContext.getDesignerFrame().doResize(); |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
|
}); |
|
|
|
}); |
|
|
|
addMouseListener(new MouseAdapter() { |
|
|
|
addMouseListener(new MouseAdapter() { |
|
|
|