Ignore:
Timestamp:
11.03.2010 11:08:27 (2 years ago)
Author:
Gubaer
Message:

fixed #4704: German hint not visibile on empty plugin list

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java

    r3083 r3113  
    44import static org.openstreetmap.josm.tools.I18n.tr; 
    55 
    6 import java.awt.Font; 
    76import java.awt.GridBagConstraints; 
    87import java.awt.GridBagLayout; 
    … …  
    1413 
    1514import javax.swing.JCheckBox; 
    16 import javax.swing.JLabel; 
    1715import javax.swing.event.HyperlinkEvent; 
    1816import javax.swing.event.HyperlinkListener; 
    1917import javax.swing.event.HyperlinkEvent.EventType; 
    2018 
    21 import org.openstreetmap.josm.gui.JMultilineLabel; 
    2219import org.openstreetmap.josm.gui.widgets.HtmlPanel; 
    2320import org.openstreetmap.josm.gui.widgets.VerticallyScrollablePanel; 
    … …  
    7875        gbc.weighty = 1.0; 
    7976 
    80         JMultilineLabel hint = new JMultilineLabel(""); 
    81         hint.setFont(hint.getFont().deriveFont(Font.PLAIN)); 
    82         hint.setHorizontalAlignment(JLabel.CENTER); 
     77        HtmlPanel hint = new HtmlPanel(); 
    8378        hint.setText( 
    8479                "<html>" 
Note: See TracChangeset for help on using the changeset viewer.