Index: /trunk/src/sce/component/SCESearch.java
===================================================================
--- /trunk/src/sce/component/SCESearch.java	(revision 956)
+++ /trunk/src/sce/component/SCESearch.java	(revision 957)
@@ -254,5 +254,4 @@
       results.clear();
 	    searchPositions.clear();
-	    // todo: clear selection?
 	    if (GProperties.getBoolean("editor.clear_selection_when_closing_search")) {
 	      document.clearSelection();