new web services preference tab (JAL-589)
authorjprocter <Jim Procter>
Sat, 19 Jun 2010 16:44:37 +0000 (16:44 +0000)
committerjprocter <Jim Procter>
Sat, 19 Jun 2010 16:44:37 +0000 (16:44 +0000)
commit4537a4519bf4a07e0d01589fe4c1280d86138323
tree271536610e8f3613b204ffa65802aaf0151b0a6d
parentd25930a1576379cd45940caa9c1f0e4cf01fbc2c
new web services preference tab (JAL-589)
src/jalview/gui/Preferences.java
src/jalview/gui/WsPreferences.java [new file with mode: 0644]
src/jalview/jbgui/GPreferences.java
src/jalview/jbgui/GWsPreferences.java [new file with mode: 0644]