| 1 | Index: C:/Users/Philippe/workspace/JOSM/src/org/openstreetmap/josm/gui/dialogs/MapPaintDialog.java
|
|---|
| 2 | ===================================================================
|
|---|
| 3 | --- C:/Users/Philippe/workspace/JOSM/src/org/openstreetmap/josm/gui/dialogs/MapPaintDialog.java (revision 4220)
|
|---|
| 4 | +++ C:/Users/Philippe/workspace/JOSM/src/org/openstreetmap/josm/gui/dialogs/MapPaintDialog.java (working copy)
|
|---|
| 5 | @@ -543,7 +543,7 @@
|
|---|
| 6 | if (sel < 0 || sel >= model.getRowCount())
|
|---|
| 7 | return;
|
|---|
| 8 | final StyleSource s = model.getRow(sel);
|
|---|
| 9 | - ExtendedDialog info = new ExtendedDialog(Main.parent, tr("Map Style info"), new String[] {"Close"});
|
|---|
| 10 | + ExtendedDialog info = new ExtendedDialog(Main.parent, tr("Map Style info"), new String[] {tr("Close")});
|
|---|
| 11 | info.setPreferredSize(new Dimension(600, 400));
|
|---|
| 12 | info.setButtonIcons(new String[] {"ok.png"});
|
|---|
| 13 |
|
|---|