added 'show overview' preference.
authorjprocter <Jim Procter>
Fri, 9 Feb 2007 17:50:33 +0000 (17:50 +0000)
committerjprocter <Jim Procter>
Fri, 9 Feb 2007 17:50:33 +0000 (17:50 +0000)
commitd704670a936df11fbaf75abbb6d07493d70993a9
treec691f691e4606c2a3dc530f7905cf3c9111c73ab
parent08c5f8dc93e7474ede2b210cd2425df00d10e020
added 'show overview' preference.
src/jalview/gui/AlignFrame.java
src/jalview/gui/Preferences.java
src/jalview/jbgui/GPreferences.java