Mihai Sucan 0c959834a8 More fixes. ... - Only highlight selected words. - Highlight selected words by keyboard as well, not just mouse double click.		2011-02-13 17:07:42 +02:00
..
ace	More fixes.	2011-02-13 17:07:42 +02:00