git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59bcebd) | patch
JAL-1799 deduct more space for decorators on Windows
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 1 Jul 2015 10:48:04 +0000 (11:48 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 1 Jul 2015 10:48:04 +0000 (11:48 +0100)
commitc54d46db524f1acf7cf4659a9603bbe50518440f
treef082b682459cc7f68e70908118f8c7cf8a385d03tree | snapshot
parent59bcebdf52d535ff621840b2d836ecfc0f605ec1commit | diff
JAL-1799 deduct more space for decorators on Windows
src/jalview/gui/AlignmentPanel.java diff | blob | history
src/jalview/util/Platform.java diff | blob | history