Changeset 10713 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2016-08-03T14:30:12+02:00 (8 years ago)

Author:

simon04

Message:

About dialog: display readme in monospaced font

File:

• trunk/src/org/openstreetmap/josm/actions/AboutAction.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/actions/AboutAction.java

@@ -58 +58 @@
 
         JosmTextArea readme = new JosmTextArea();
+        readme.setFont(GuiHelper.getMonospacedFont(readme));
         readme.setEditable(false);
         setTextFromResourceFile(readme, "/README");
@@ -63 +64 @@
 
         JosmTextArea revision = new JosmTextArea();
+        revision.setFont(GuiHelper.getMonospacedFont(revision));
         revision.setEditable(false);
         revision.setText(version.getReleaseAttributes());