git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1fea111) | patch
allows deletion of chars, font chooser added
authoramwaterhouse <Andrew Waterhouse>
Wed, 9 Mar 2005 18:36:17 +0000 (18:36 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 9 Mar 2005 18:36:17 +0000 (18:36 +0000)
commit6e9da2b0461e97e7d72711a61c9c8a982c548822
treeccf3f43015c5236934fc1f26b11b898b00680fc9tree | snapshot
parent1fea111206bcb8b84284805a3b6e233d5879084ccommit | diff
allows deletion of chars, font chooser added
src/jalview/gui/AlignFrame.java diff | blob | history