# HG changeset patch
# User immler@in.tum.de
# Date 1227041253 -3600
# Node ID d6d536e5d7e6da49a2b461607bfcd4c17d24fd23
# Parent  4a63526bead10cb87873c456ad8082b713a6e155
removed System.err...

diff -r 4a63526bead1 -r d6d536e5d7e6 src/Tools/jEdit/src/jedit/TheoryView.scala
--- a/src/Tools/jEdit/src/jedit/TheoryView.scala	Tue Nov 18 21:45:29 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/TheoryView.scala	Tue Nov 18 21:47:33 2008 +0100
@@ -208,7 +208,6 @@
       val MAX_XSYMB_LENGTH = 20
       var beginning = offset - 2
       var length = 2
-      System.err.println("found end of xsymbol")
       while(length < MAX_XSYMB_LENGTH && beginning > 0 && !buffer.getText(beginning, 1).equals("\\")){
         beginning -= 1
         length += 1
@@ -216,13 +215,8 @@
       if(beginning >= 0 && buffer.getText(beginning, 2).equals("\\<")){
         val candidate = buffer.getText(beginning, length)
         val decoded = VFS.converter.decode(candidate)
-        System.err.println("found potential xsymbol: " + candidate
-                           + " decoded: " + decoded)
         buffer.remove(beginning, length)
         buffer.insert(beginning, decoded)
-        
-      } else {
-        System.err.println ("could not find beginning")
       }
     }
     if (col == null)