Changeset 8419 in josm for trunk/src/org/openstreetmap/josm/gui/actionsupport/LogShowDialog.java
- Timestamp:
- 2015-05-23T01:40:23+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/actionsupport/LogShowDialog.java
r7937 r8419 23 23 24 24 25 public LogShowDialog 25 public LogShowDialog(String title, String msg, String log) { 26 26 super(Main.parent, title, new String[] {tr("OK")}); 27 27 setButtonIcons(new String[] {"ok.png"}); … … 32 32 JPanel p = new JPanel(new GridBagLayout()); 33 33 JLabel lbl = new JLabel(msg); 34 34 35 35 lbl.setFont(lbl.getFont().deriveFont(0, 14)); 36 36 37 37 p.add(lbl, GBC.eol().insets(5,0,5,0)); 38 38 JosmEditorPane txt = new JosmEditorPane(); … … 41 41 txt.setEditable(false); 42 42 txt.setOpaque(false); 43 43 44 44 JScrollPane sp = new JScrollPane(txt); 45 45 sp.setOpaque(false); 46 46 sp.setPreferredSize(new Dimension(600,300)); 47 48 47 48 49 49 p.add(sp, GBC.eop().insets(5,15,0,0).fill(GBC.HORIZONTAL)); 50 50
Note:
See TracChangeset
for help on using the changeset viewer.