Monospaced indicator
authoramwaterhouse <Andrew Waterhouse>
Mon, 30 Jan 2006 14:55:58 +0000 (14:55 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 30 Jan 2006 14:55:58 +0000 (14:55 +0000)
commit818c66fbbbc2cbe6a412776aa86d2a27e30d6e09
tree2a44b55c740f6f919ba3bf1c86914f4765b8eedd
parent26c3004aa398c51cdeee79945d0e0bb8a877f47d
Monospaced indicator
src/jalview/gui/FontChooser.java
src/jalview/jbgui/GFontChooser.java