clientui: don't update size if already maximized

This commit is contained in:
Jeremy Plsek
2018-04-16 21:46:13 -04:00
parent 630dad1248
commit f92f1ae6f7

View File

@@ -33,6 +33,7 @@ import java.awt.Component;
import java.awt.Container; import java.awt.Container;
import java.awt.Cursor; import java.awt.Cursor;
import java.awt.Dimension; import java.awt.Dimension;
import java.awt.Frame;
import java.awt.Graphics; import java.awt.Graphics;
import java.awt.LayoutManager; import java.awt.LayoutManager;
import java.awt.Toolkit; import java.awt.Toolkit;
@@ -522,13 +523,16 @@ public class ClientUI
giveClientFocus(); giveClientFocus();
SwingUtil.revalidateMinimumSize(frame); SwingUtil.revalidateMinimumSize(frame);
if (wasMinimumWidth) if ((frame.getExtendedState() & Frame.MAXIMIZED_BOTH) != Frame.MAXIMIZED_BOTH)
{ {
frame.setSize(frame.getMinimumSize().width, frame.getHeight()); if (wasMinimumWidth)
} {
else if (frame.getWidth() < Toolkit.getDefaultToolkit().getScreenSize().getWidth()) frame.setSize(frame.getMinimumSize().width, frame.getHeight());
{ }
frame.setSize(frame.getWidth() - PANEL_EXPANDED_WIDTH, frame.getHeight()); else if (frame.getWidth() < Toolkit.getDefaultToolkit().getScreenSize().getWidth())
{
frame.setSize(frame.getWidth() - PANEL_EXPANDED_WIDTH, frame.getHeight());
}
} }
pluginPanel = null; pluginPanel = null;