git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e8c679) | patch
JAL-845 reduced height to allow for Desktop decorators on Windows
authorMungo Carstairs <gmungoc@gmail.com>
Thu, 30 Apr 2015 20:12:42 +0000 (21:12 +0100)
committerMungo Carstairs <gmungoc@gmail.com>
Thu, 30 Apr 2015 20:12:42 +0000 (21:12 +0100)
commit24759045defbd5bb87bb699c6ba363f171464d7f
treec3b3022b215ed8317035fca674d5d1ca605d29fdtree | snapshot
parent9e8c6798b524aa8743c271a3115f6cb307eb83eacommit | diff
JAL-845 reduced height to allow for Desktop decorators on Windows
src/jalview/gui/SplitFrame.java diff | blob | history