New function to highlight text search results
authoramwaterhouse <Andrew Waterhouse>
Wed, 1 Dec 2004 16:57:56 +0000 (16:57 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 1 Dec 2004 16:57:56 +0000 (16:57 +0000)
commitb0e7370d001804e563320570d2a11453954c393e
tree78da4015ad53da4ad67d525e37f7d14bcd5f71c8
parent3e313eab680734bb0bd49d3366c5ae6ad8330ef4
New function to highlight text search results
src/jalview/gui/SequenceRenderer.java