git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8004878) | patch
calls repaint, not just refreshpanels
authoramwaterhouse <Andrew Waterhouse>
Thu, 7 Apr 2005 16:59:13 +0000 (16:59 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 7 Apr 2005 16:59:13 +0000 (16:59 +0000)
commiteae0a6cd988e80f75caeee3ba92822fbee6e227d
treec02df14068428d5316d84151b6b6ced69c3d169atree | snapshot
parent8004878db16757b62ee2c35738506bc4509428cfcommit | diff
calls repaint, not just refreshpanels
src/jalview/gui/FontChooser.java diff | blob | history