X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxengineoutput.c;h=ceda49ee370e3d8bcc391308b306503c8d91f085;hb=1c03d229073e56dda9e5856db5adaae51576a3bb;hp=576d58bbeff8ab629f915247c8cfdeb01c4b523b;hpb=0d88b7c20af19de163b648898ec8d3ed4c31d796;p=xboard.git

diff --git a/gtk/xengineoutput.c b/gtk/xengineoutput.c
index 576d58b..ceda49e 100644
--- a/gtk/xengineoutput.c
+++ b/gtk/xengineoutput.c
@@ -5,7 +5,7 @@
  *
  * Copyright 2005 Alessandro Scotti
  *
- * Enhancements Copyright 2009, 2010, 2011, 2012 Free Software Foundation, Inc.
+ * Enhancements Copyright 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
  *
  * ------------------------------------------------------------------------
  *
@@ -69,12 +69,10 @@ extern char *getenv();
 extern Option engoutOptions[]; // must go in header, but which?
 
 /* Module variables */
-static int currentPV, highTextStart[2], highTextEnd[2];
 #ifdef TODO_GTK
 static Widget memoWidget;
 #endif
 static GdkPixbuf *iconsGTK[8];
-static GtkWidget *outputFieldGTK[2][7]; // [HGM] front-end array to translate output field to window handlestatic void *memoWidget;
 
 static void
 ReadIcon (gchar *svgFilename, int iconNr)
@@ -113,7 +111,7 @@ InsertIntoMemo (int which, char * text, int where)
 {
     char *p;
     GtkTextIter start;
- 
+
     /* the backend adds \r\n, which is needed for winboard,
      * for xboard we delete them again over here */
     if(p = strchr(text, '\r')) *p = ' ';
@@ -128,15 +126,6 @@ InsertIntoMemo (int which, char * text, int where)
     }
 }
 
-//--------------------------------- PV walking ---------------------------------------
-
-char memoTranslations[] =
-":Ctrl<Key>c: CopyMemoProc() \n \
-<Btn3Motion>: HandlePV() \n \
-Shift<Btn3Down>: select-start() extend-end() SelectPV(1) \n \
-Any<Btn3Down>: select-start() extend-end() SelectPV(0) \n \
-<Btn3Up>: StopPV() \n";
-
 //------------------------------- pane switching -----------------------------------
 
 void
@@ -146,4 +135,3 @@ ResizeWindowControls (int mode)
     if(mode) gtk_widget_show(engoutOptions[13].handle);
     else     gtk_widget_hide(engoutOptions[13].handle);
 }
-