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>
Fri, 13 Nov 2020 15:28:59 +0000 (15:28 +0000)
commit197e43e3b7bc447d36ebdd690f1e8133b4f6262b
tree1556762a66b2359d0b050dfb048fb3589fd1c525
parent7664ccad29d55ad2355d72feeac23d8bdd49a2a7
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