made ws warning dialog optional, and fixed its wording (JAL-693)
authorjprocter <Jim Procter>
Thu, 4 Nov 2010 15:04:23 +0000 (15:04 +0000)
committerjprocter <Jim Procter>
Thu, 4 Nov 2010 15:04:23 +0000 (15:04 +0000)
commit077fea81a02a33eefed6895bfa7cff993609dab8
treed693313c1bc250855dcd60fa680cdd6a965337a9
parent4674dbf3f27eee61a7e21174649aa4c9ec7a04dd
made ws warning dialog optional, and fixed its wording (JAL-693)
src/jalview/bin/Cache.java
src/jalview/gui/Desktop.java
src/jalview/gui/WsPreferences.java
src/jalview/jbgui/GWsPreferences.java