Changeset 37337

Timestamp:

2023-02-21T17:35:22+13:00 (4 weeks 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.

Location:

main/trunk/gli/src/org/greenstone/gatherer

Files:

• Gatherer.java (modified) (2 diffs)
• download/DownloadScrollPane.java (modified) (1 diff)
• gui/GUIManager.java (modified) (1 diff)

main/trunk/gli/src/org/greenstone/gatherer/Gatherer.java

@@ -787 +787 @@
         // Ensure width and height are reasonable
         size = bounds.getSize();
+        
         if (size.width < 640) {
             size.width = 640;
@@ -799 +800 @@
             size.height = Configuration.screen_size.height;
         }
-
+        
         if (!g_man_built) {
-
+                g_man.setSize(size);            
             g_man.display();
 

main/trunk/gli/src/org/greenstone/gatherer/download/DownloadScrollPane.java

@@ -73 +73 @@
     job = null;
     job_queue = new Vector();
+
+    Color colour_ctb = Configuration.getColor("coloring.collection_tree_background", false);
+
     filler_pane = new JPanel();
+    filler_pane.setBackground(colour_ctb);
+
     list_pane = new JPanel();
     list_pane.setLayout(new BoxLayout(list_pane, BoxLayout.Y_AXIS));
+    list_pane.setBackground(colour_ctb);
+    
     list_scroll = new JScrollPane(list_pane);
     }

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)
     {