ID tooltip preference settings and doc
authorjprocter <Jim Procter>
Thu, 15 Apr 2010 09:17:26 +0000 (09:17 +0000)
committerjprocter <Jim Procter>
Thu, 15 Apr 2010 09:17:26 +0000 (09:17 +0000)
commit12fdd79d25527a93ee20ffa562899ec5b703e4d5
treed707178094056317efff954ba98571bacc1d2ac0
parent35c939fcdbf7438c61e8e3e696e5b40fd710a245
ID tooltip preference settings and doc
help/html/releases.html
src/jalview/gui/Preferences.java
src/jalview/gui/SeqCanvas.java
src/jalview/jbgui/GPreferences.java