JAL-2527 Added overview prefs - don't get picked up by overview yet
authorkiramt <k.mourao@dundee.ac.uk>
Tue, 29 Aug 2017 13:55:53 +0000 (14:55 +0100)
committerkiramt <k.mourao@dundee.ac.uk>
Tue, 29 Aug 2017 13:55:53 +0000 (14:55 +0100)
commitb02e2d7bed980ad4c50112575f4253494b993ee2
tree2c153e7571d9e38f24f3af7d382d72bb270c6816
parent75d0279984e769ace9e422376b4104a4522cf0c3
JAL-2527 Added overview prefs - don't get picked up by overview yet
resources/lang/Messages.properties
resources/lang/Messages_es.properties
src/jalview/gui/Preferences.java
src/jalview/jbgui/GPreferences.java