JAL-3113 override minimum frame size in a way that works in JalviewJS
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 11 Sep 2018 16:37:30 +0000 (17:37 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 11 Sep 2018 16:37:30 +0000 (17:37 +0100)
commit86a9434feba170f5a91b0eb366d152262cc65ff8
tree05e2f9f53c42e908b131d1067b5ba95586d33d83
parent8b56642ad01b7d0c99c74160600eabb803ed6485
JAL-3113 override minimum frame size in a way that works in JalviewJS
src/jalview/gui/Finder.java
src/jalview/gui/RedundancyPanel.java
src/jalview/gui/SliderPanel.java
src/jalview/jbgui/GSliderPanel.java