Double click to launch file browser
authoramwaterhouse <Andrew Waterhouse>
Tue, 14 Jun 2005 10:44:14 +0000 (10:44 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 14 Jun 2005 10:44:14 +0000 (10:44 +0000)
commitc954e7c8d0953fee214bf897608410a1bc41ec13
treeedd2ed9bb77991c9493d7b81ea6dafbcb5bddb9e
parent1627d5f04287be852b799ba51bf2b6ded9acecda
Double click to launch file browser
src/jalview/jbgui/GPreferences.java