git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 963abee) | patch
Use a label with html instead of textarea
authoramwaterhouse <Andrew Waterhouse>
Wed, 7 Jun 2006 12:55:42 +0000 (12:55 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 7 Jun 2006 12:55:42 +0000 (12:55 +0000)
commit2bf3234c84daef8cd4474651a8e2f8bfe6cd3ba0
treea10b5cc3d6a35fffd402c781de1e1dd1ad26f8d2tree | snapshot
parent963abee52aa793415d08bdc0f63d8bd3c9678940commit | diff
Use a label with html instead of textarea
src/jalview/jbgui/GUserDefinedColours.java diff | blob | history