JAL-4059 Tidy getting the namespace, and save the namespace in the Jalview instance...
authorBen Soares <b.soares@dundee.ac.uk>
Fri, 10 Nov 2023 21:27:54 +0000 (21:27 +0000)
committerBen Soares <b.soares@dundee.ac.uk>
Fri, 10 Nov 2023 21:27:54 +0000 (21:27 +0000)
commita9177efb4097815d9a8031aa22700c61a7d6260a
tree1b246444bf4b8fdbf92eb3b7b0c0d3a48aada174
parentde2a523501376d27e85d08cdc38a47de3a082a39
JAL-4059 Tidy getting the namespace, and save the namespace in the Jalview instance for retrieval within Java.  If namespace exists when desktop appears, remove a div by id ns:jalviewSplash from the HTML page.
src/jalview/bin/Jalview.java
src/jalview/gui/Desktop.java
src/jalview/gui/SeqPanel.java
src/jalview/util/Platform.java