Julian Viereck fe4465fe23 Select folds as the user clicks on it and expand them on double clicking		2011-05-23 19:39:10 +02:00
..
ace	Select folds as the user clicks on it and expand them on double clicking	2011-05-23 19:39:10 +02:00