git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 282aa91) | patch
JAL-4034 button looks better also on other OSes with the 0 vertical insets
authorBen Soares <b.soares@dundee.ac.uk>
Mon, 25 Jul 2022 09:57:51 +0000 (10:57 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Mon, 25 Jul 2022 09:57:51 +0000 (10:57 +0100)
commit0a7a19cf507b20cb1eb6f8aaf7c040ecf0cd5825
tree8120a3254d99d61c294f8ccf2703e98f257f094dtree | snapshot
parent282aa9129a74235dc8d6c22b123d51eb1abd2f55commit | diff
JAL-4034 button looks better also on other OSes with the 0 vertical insets
src/jalview/jbgui/GStructureChooser.java diff | blob | history