made ws warning dialog optional, and fixed its wording (JAL-693)
authorjprocter <Jim Procter>
Thu, 4 Nov 2010 14:52:12 +0000 (14:52 +0000)
committerjprocter <Jim Procter>
Thu, 4 Nov 2010 14:52:12 +0000 (14:52 +0000)
commite568f853187c30c707c02db4e01a30a7530b74e3
tree9d588d453ca81ac7a762e2d5a93cb394068668ab
parentad5a897996c1c6305ecf9e677a2b6026f988dfe2
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