author | Jim Procter <jprocter@issues.jalview.org> | |
Fri, 15 Sep 2017 15:05:12 +0000 (16:05 +0100) | ||
committer | Jim Procter <jprocter@issues.jalview.org> | |
Fri, 15 Sep 2017 15:05:12 +0000 (16:05 +0100) |
src/jalview/gui/Desktop.java | patch | blob | history | |
src/jalview/util/Platform.java | patch | blob | history |