Changeset 37337 for main/trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java

Timestamp:

2023-02-21T17:35:22+13:00 (14 months ago)

Author:

davidb

Message:

Newer version of setSize() introduced to support the new init sequence for webSwing GLI that requires login first before GLI window displayed; Fine-tuning of colours used.

File:

• main/trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java (modified) (1 diff)

main/trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java

@@ -143 +143 @@
     }
 
-
+    public void setSize(Dimension size)
+    {
+    this.size = size;
+    super.setSize(size);
+    }
+    
     public void windowGainedFocus(WindowEvent e)
     {