Changeset 5887 in josm for trunk/src/org/openstreetmap/josm/gui/widgets/JosmTextArea.java

Timestamp:

2013-04-20T02:24:00+02:00 (13 years ago)

Author:

Don-vip

Message:

see #8606 - Fix user-agent used with JEditorPage.setPage() or JEditorPane(URL) + fix version number from previous commit

File:

• trunk/src/org/openstreetmap/josm/gui/widgets/JosmTextArea.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/widgets/JosmTextArea.java

@@ -7 +7 @@
 /**
  * Subclass of {@link JTextArea} that adds a "native" context menu (cut/copy/paste/select all).
- * @since 5885
+ * @since 5886
  */
 public class JosmTextArea extends JTextArea {