quick workaround for JAL-537.
authorjprocter <Jim Procter>
Fri, 21 May 2010 09:43:24 +0000 (09:43 +0000)
committerjprocter <Jim Procter>
Fri, 21 May 2010 09:43:24 +0000 (09:43 +0000)
commit8ab4d7fd34f0d91ed71f5cd5a9016aa8adcdc2a7
treece08c8f2882fc6f1860656cc7a641569c52a12d8
parent9a99909f477d78eec2859852245bd1d3826a432b
quick workaround for JAL-537.
src/jalview/gui/Console.java
src/jalview/gui/Desktop.java