Changeset 17916
- Timestamp:
- 2008-11-25T00:01:14+13:00 (15 years ago)
- Location:
- gli/trunk/src/org/greenstone/gatherer/gui
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/src/org/greenstone/gatherer/gui/AboutDialog.java
r14775 r17916 34 34 import java.awt.event.*; 35 35 import javax.swing.*; 36 37 import org.greenstone.gatherer.Configuration; 36 38 import org.greenstone.gatherer.Dictionary; 37 39 import org.greenstone.gatherer.Gatherer; … … 69 71 JPanel content_pane = (JPanel) getContentPane(); 70 72 JPanel upper_pane = new JPanel(); 71 ImageIcon icon = JarTools.getImage("gatherer_medium.gif"); 73 74 String gmedium_image = "gatherer_medium.gif"; 75 if (Configuration.fedora_info.isActive()) { 76 gmedium_image = "fli-" + gmedium_image; 77 } 78 79 ImageIcon icon = JarTools.getImage(gmedium_image); 72 80 ImageIcon scaled_icon = new ImageIcon(icon.getImage().getScaledInstance(ICON_SIZE, ICON_SIZE, Image.SCALE_DEFAULT)); 73 81 JLabel icon_label = new JLabel(scaled_icon); -
gli/trunk/src/org/greenstone/gatherer/gui/GUIManager.java
r17612 r17916 343 343 344 344 // Pretty corner icon 345 this.setIconImage(JarTools.getImage("gatherer_small.gif").getImage()); 345 String gsmall_image = "gatherer_small.gif"; 346 if (Configuration.fedora_info.isActive()) { 347 gsmall_image = "fli-" + gsmall_image; 348 } 349 this.setIconImage(JarTools.getImage(gsmall_image).getImage()); 346 350 // BorderLayout for the main screen. I'll try my best to avoid these in subcomponents as they're space greedy. 347 351 content_pane.setLayout(new BorderLayout()); -
gli/trunk/src/org/greenstone/gatherer/gui/HelpFrame.java
r17005 r17916 108 108 setLocation((screen_size.width - SIZE.width) / 2, (screen_size.height - SIZE.height) / 2); 109 109 110 110 111 // Pretty corner icon 111 this.setIconImage(JarTools.getImage("gatherer_small.gif").getImage()); 112 String gsmall_image = "gatherer_small.gif"; 113 if (Configuration.fedora_info.isActive()) { 114 gsmall_image = "fli-" + gsmall_image; 115 } 116 117 this.setIconImage(JarTools.getImage(gsmall_image).getImage()); 112 118 113 119 self = this; -
gli/trunk/src/org/greenstone/gatherer/gui/WarningDialog.java
r16335 r17916 85 85 JPanel content_pane = (JPanel) getContentPane(); 86 86 JPanel text_pane = new JPanel(); 87 JLabel icon_label = new JLabel(JarTools.getImage("gatherer_medium.gif")); 87 88 String gmedium_image = "gatherer_medium.gif"; 89 if (Configuration.fedora_info.isActive()) { 90 gmedium_image = "fli-" + gmedium_image; 91 } 92 93 JLabel icon_label = new JLabel(JarTools.getImage(gmedium_image)); 88 94 89 95 JTextArea text_area = new JTextArea();
Note:
See TracChangeset
for help on using the changeset viewer.