*** empty log message ***

1 files changed, 10 insertions, 10 deletions

diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java
index f1c162bc4..838f331ba 100644
--- a/src/JavaGUI/GFEditor2.java
+++ b/src/JavaGUI/GFEditor2.java
@@ -36,8 +36,10 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
     public static boolean debug = false;

     // pop-up/mouse handling:

     public static boolean debug3 = false;

+    // red mark-up && html:

+    public static boolean debug4 = false;

     // linearization marking:

-    public static boolean debug2 = true;

+    public static boolean debug2 = false;

 

     public static boolean selectionCheck = false;

     public static LinPosition focusPosition ;

@@ -977,11 +979,13 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
       MarkedArea ma = (MarkedArea)outputVector.elementAt(i) ;              

       int begin = ma.begin ;

       int end = ma.end ;

-      System.out.println("BEGIN: "+ begin +" END: "+end+" "+ma.words+" "+ma.position.position);

+      if (debug4) 

+       System.out.println("BEGIN: "+ begin +" END: "+end+" "+ma.words+" "+ma.position.position);

       if (!ma.position.correctPosition)

         try {  

           output.getHighlighter().addHighlight(begin, end, new DefaultHighlighter.DefaultHighlightPainter(Color.red));

-          System.out.println("HIGHLIGHT: "+output.getText().substring(begin, end));

+          if (debug4) 

+            System.out.println("HIGHLIGHT: "+output.getText().substring(begin, end));

         } catch (Exception e) {System.out.println("highlighting problem!");}

     }

   }

@@ -1311,12 +1315,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
  

                fileString="";

                grammar.setText("No Topic          ");

-

-           System.out.println("new Topic is working");

-               // bug in GF, do reset manually:

-               send("e");

-

-               send("e "+ file.getPath().replace('\\','/'));

+               send(" e "+ file.getPath().replace('\\','/'));

              }

            }           

          }

@@ -1990,7 +1989,8 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
       restString = replaceSubstring(restString,more,"> ");

       restString = replaceSubstring(restString,less," <");

       restString= replaceSubstring(restString,"\b\b","\b");

-      System.out.println(restString);

+      if (debug4) 

+        System.out.println(restString);

       output.append(restString.replaceAll("&-","\n "));

       if ((selectionEnd>=selectionStart)&&(selectionStart>-1))

       try {