JAL-3633 Remember system set proxy properties. Add options in Preferences for No...
authorBen Soares <b.soares@dundee.ac.uk>
Sun, 12 Jul 2020 23:31:13 +0000 (00:31 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Thu, 12 Nov 2020 20:11:41 +0000 (20:11 +0000)
commita934d28336923f2966aeac29f7d1a877e5db1cec
tree042671a2b287c843589d6b6632dc63f8cb6a8ddc
parent0fd3b7ae342185573d564705d087f7e6d2abd78c
JAL-3633 Remember system set proxy properties. Add options in Preferences for No proxy, system proxy, or custom proxy servers.
resources/lang/Messages.properties
resources/lang/Messages_es.properties
src/jalview/bin/Cache.java
src/jalview/gui/Preferences.java
src/jalview/jbgui/GPreferences.java