JAL-3253-applet disabling button size setting by applet param. Whatever
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 21 May 2019 10:29:59 +0000 (11:29 +0100)
committerhansonr <hansonr@STO24954W.ad.stolaf.edu>
Tue, 21 May 2019 11:55:33 +0000 (06:55 -0500)
commitc4c37610dc373b9b3349e5c0915c6eddda2efe31
tree0c3c7d0abfaa1bfcd26fdd91d6bfa0025a89c4c2
parente226ed0ad6ba8552a0b70fb083cf00060588855d
JAL-3253-applet disabling button size setting by applet param. Whatever
this should do in Java, it doesn't seem to do, and it looks better in
JavaScript just to let the button set its own size.
17 files changed:
site-resources/swingjs/JalviewApplet.js
src/jalview/datamodel/DBRefEntry.java
src/jalview/gui/Console.java
src/jalview/gui/Desktop.java
src/jalview/gui/JalviewDialog.java
src/jalview/gui/SplashScreen.java
src/jalview/gui/StructureChooser.java
src/jalview/httpserver/HttpServer.java
src/jalview/io/HTMLOutput.java
src/jalview/io/JalviewFileFilter.java
src/jalview/rest/RestHandler.java
src/jalview/structure/StructureSelectionManager.java
src/jalview/urls/IdOrgSettings.java
src/jalview/util/BrowserLauncher.java
test/jalview/analysis/AlignmentSorterTest.java
test/jalview/gui/SeqCanvasTest.java
test/jalview/io/FeaturesFileTest.java