font chooser added
authoramwaterhouse <Andrew Waterhouse>
Wed, 9 Mar 2005 18:37:09 +0000 (18:37 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 9 Mar 2005 18:37:09 +0000 (18:37 +0000)
commit6ab8366d05c5e884329e746b5df1fa169661ec4b
tree1cfa8a5fda5ea8e67551ae01e615deb2e0440948
parent6e9da2b0461e97e7d72711a61c9c8a982c548822
font chooser added
src/jalview/gui/FontChooser.java [new file with mode: 0755]
src/jalview/jbgui/GAlignFrame.java
src/jalview/jbgui/GFontChooser.java [new file with mode: 0755]