Ticket #2114: ImproveProperties FIX.patch

File ImproveProperties FIX.patch, 1.1 KB (added by xeen, 16 years ago)

Thanks for catching that one. Luckily the fix is pretty easy

  • src/org/openstreetmap/josm/gui/dialogs/PropertiesDialog.java

     
    437437    private final SideButton btnEdit;
    438438    private final SideButton btnDel;
    439439
    440     private final JLabel selectSth = new JLabel(tr("Please select the objects you want to change properties for."));
     440    private final JLabel selectSth = new JLabel("<html><p>" + tr("Please select the objects you want to change properties for.") + "</p></html>");
    441441
    442442    /**
    443443     * Create a new PropertiesDialog
    … …  
    530530        JScrollPane scrollPane = new JScrollPane(bothTables);
    531531        scrollPane.addMouseListener(dblClickWatch);
    532532        add(scrollPane, BorderLayout.CENTER);
     533                               
     534                                selectSth.setPreferredSize(scrollPane.getSize());
    533535
    534536        JPanel buttonPanel = new JPanel(new GridLayout(1,3));
    535537        ActionListener buttonAction = new ActionListener(){