JAL-3275 JAL-3633: JAL-3275 Turned Preferences into a Singleton that checks renews...
authorBen Soares <b.soares@dundee.ac.uk>
Wed, 29 Jul 2020 11:44:24 +0000 (12:44 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Wed, 29 Jul 2020 11:44:24 +0000 (12:44 +0100)
commit55ac1885b2b6fda77037cd8b4b1daad52a60b4b2
tree192f47ac1f8bb340bc0ac7f95188ad72f404d456
parent88acca19255b75f23d6a3c3a07756e2ca3c04402
JAL-3275 JAL-3633: JAL-3275 Turned Preferences into a Singleton that checks renews if it's been closed.  Removed some debugging for JAL-3633. Added focus/highlight to proxy password box when needed. Forced WS lookup wheb proxy settings changed.
src/jalview/bin/Cache.java
src/jalview/gui/Desktop.java
src/jalview/gui/Preferences.java
src/jalview/gui/WsPreferences.java
src/jalview/jbgui/GPreferences.java