git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f887a21) | patch
JAL-3253 FeatureTypeSettings use of override paint(g) for "x" button
authorhansonr <hansonr@STO24954W.ad.stolaf.edu>
Tue, 2 Jul 2019 12:35:33 +0000 (14:35 +0200)
committerhansonr <hansonr@STO24954W.ad.stolaf.edu>
Tue, 2 Jul 2019 12:35:33 +0000 (14:35 +0200)
commita207e3ef9cef73d44c9bf99b5e21e224dd307b13
treed2fd189302fc9b7fa69b6197aef1167cc53ff552tree | snapshot
parentf887a21118fae5bc1f2cadcd4f36ffed4554edc8commit | diff
JAL-3253 FeatureTypeSettings use of override paint(g) for "x" button
allows same characterists in Mac and Windows for button background and
border
src/jalview/gui/FeatureTypeSettings.java diff | blob | history