JAL-3056 suppress menu options, and repoint Help, for JalviewJS
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 23 Jul 2018 13:42:08 +0000 (14:42 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 23 Jul 2018 13:42:08 +0000 (14:42 +0100)
commitc9a98f3738fa773afd01ea5d5881b604855fa1b8
treeef759c83a178d236880cfabf2b6a3d351a1684ea
parent4499c22043eb437cbb95eb9a26edb82e9ddec88f
JAL-3056 suppress menu options, and repoint Help, for JalviewJS
src/jalview/bin/Jalview.java
src/jalview/gui/Desktop.java
src/jalview/io/AppletFormatAdapter.java
src/jalview/jbgui/GAlignFrame.java
src/jalview/jbgui/GDesktop.java
src/jalview/jbgui/GUserDefinedColours.java