Changeset 17916

Show
Ignore:
Timestamp:
25.11.2008 00:01:14 (11 years ago)
Author:
davidb
Message:

FLI based version now uses blue fli-*.gif images rather than the default green ones

Location:
gli/trunk/src/org/greenstone/gatherer/gui
Files:
4 modified

Legend:

Unmodified
Added
Removed
  • gli/trunk/src/org/greenstone/gatherer/gui/AboutDialog.java

    r14775 r17916  
    3434import java.awt.event.*; 
    3535import javax.swing.*; 
     36 
     37import org.greenstone.gatherer.Configuration; 
    3638import org.greenstone.gatherer.Dictionary; 
    3739import org.greenstone.gatherer.Gatherer; 
     
    6971    JPanel content_pane = (JPanel) getContentPane(); 
    7072    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); 
    7280    ImageIcon scaled_icon = new ImageIcon(icon.getImage().getScaledInstance(ICON_SIZE, ICON_SIZE, Image.SCALE_DEFAULT)); 
    7381    JLabel icon_label = new JLabel(scaled_icon); 
  • gli/trunk/src/org/greenstone/gatherer/gui/GUIManager.java

    r17612 r17916  
    343343 
    344344        // 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()); 
    346350        // BorderLayout for the main screen. I'll try my best to avoid these in subcomponents as they're space greedy. 
    347351        content_pane.setLayout(new BorderLayout()); 
  • gli/trunk/src/org/greenstone/gatherer/gui/HelpFrame.java

    r17005 r17916  
    108108    setLocation((screen_size.width - SIZE.width) / 2, (screen_size.height - SIZE.height) / 2); 
    109109 
     110 
    110111    // 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()); 
    112118 
    113119    self = this; 
  • gli/trunk/src/org/greenstone/gatherer/gui/WarningDialog.java

    r16335 r17916  
    8585    JPanel content_pane = (JPanel) getContentPane(); 
    8686    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)); 
    8894 
    8995    JTextArea text_area = new JTextArea();