Mihai Sucan b6e136201d Fix for issue 57: highlight all instances of a selected word.		2011-02-13 14:35:19 +02:00
..
ace	Fix for issue 57: highlight all instances of a selected word.	2011-02-13 14:35:19 +02:00