JAL-845 set split frame divider safely for eXpand Views
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Thu, 23 Apr 2015 08:21:53 +0000 (09:21 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Thu, 23 Apr 2015 08:21:53 +0000 (09:21 +0100)
commitdc74f4ac53cb25b16760263aead95a24ed8f33cd
tree0530a19e8269c9c1c86a2d5d1d8eb4a14dd3833d
parentc40e1292959cc1a82e4f239cb9b3d3a1494398cb
JAL-845 set split frame divider safely for eXpand Views
src/jalview/jbgui/GSplitFrame.java