JAL-1988 tidying, plus don't add Preferences to Tools menu on a Mac\!
authorBen Soares <bsoares@dundee.ac.uk>
Thu, 8 Nov 2018 14:46:17 +0000 (14:46 +0000)
committerBen Soares <bsoares@dundee.ac.uk>
Thu, 8 Nov 2018 14:46:17 +0000 (14:46 +0000)
commitb9bde68b87a581a1f21e47cb19839791a192134a
tree86ae79591e7b638fbdb5e6c510aca17c57bf103f
parentcfe67193109d8d88029c659c8aad4d394677342c
JAL-1988 tidying, plus don't add Preferences to Tools menu on a Mac\!
src/jalview/gui/Desktop.java
src/jalview/jbgui/GDesktop.java