Allow to select text in some message boxes

[naoliv]

Could JOSM allow to select (and thus copy) the text in message boxes like this, please?

JOSM:

Build-Date:2016-10-09 13:51:08
Revision:11110
Is-Local-Build:true

Identification: JOSM/1.5 (11110 SVN pt_BR) Linux Debian GNU/Linux unstable (sid)
Memory Usage: 470 MB / 4029 MB (216 MB allocated, but free)
Java version: 1.8.0_102-8u102-b14.1-2-b14, Oracle Corporation, OpenJDK 64-Bit Server VM
Screen: :0.0 1920x1080
Maximum Screen Size: 1920x1080
Java package: openjdk-8-jre:amd64-8u102-b14.1-2
Java ATK Wrapper package: libatk-wrapper-java:all-0.33.3-9
VM arguments: [-Dawt.useSystemAAFontSettings=on]
Dataset consistency test: No problems found

[Don-vip]

Not easy to reproduce. Do you know an OSM object with a VERY LARGE number of versions? This might increase the likelyhood to get a timeout when fetching history.

[Don-vip]

Ah, gotcha:

src/org/openstreetmap/josm/gui/history/HistoryLoadTask.java

@@ -6 +6 @@
 
 import java.awt.Component;
 import java.io.IOException;
+import java.net.SocketTimeoutException;
 import java.util.ArrayList;
 import java.util.Collection;
 import java.util.HashSet;
@@ -153 +154 @@
     protected void finish() {
         if (isCanceled())
             return;
+        lastException = new OsmTransferException(new SocketTimeoutException("yololo"));
         if (lastException != null) {
             ExceptionDialogUtil.explainException(lastException);
             return;

=> makes all history actions fail :)

[Don-vip]

In 14340/josm:

fix #13777 - allow to copy/paste error message from most of our error dialogs