X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=engineoutput.h;h=098f6a876e89e98566b44ca4a51f3c1f6d78e33e;hb=deb3473452a674b82d27b03fcf7e570c1cb03841;hp=b0a2c31fb0c1d7d6e30b2f7e568df7611e9df5d0;hpb=003ab519c36430f6df51e0e6e2aa528476894161;p=xboard.git

diff --git a/engineoutput.h b/engineoutput.h
index b0a2c31..098f6a8 100644
--- a/engineoutput.h
+++ b/engineoutput.h
@@ -1,7 +1,7 @@
 /*
  * wengineo.h -- Clipboard routines for WinBoard
  *
- * Copyright 2000, 2009, 2010, 2011, 2012 Free Software Foundation, Inc.
+ * Copyright 2000, 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
  *
  * Enhancements Copyright 2005 Alessandro Scotti
  *
@@ -55,6 +55,7 @@ enum ENGINE_STATE { STATE_UNKNOWN, STATE_THINKING, STATE_IDLE, STATE_PONDERING,
 
 extern int  windowMode;
 extern char exclusionHeader[];
+extern int highTextStart[2], highTextEnd[2];
 
 // back-end called by front-end
 void SetEngineState( int which, enum ENGINE_STATE state, char * state_data );
@@ -70,4 +71,3 @@ int  EngineOutputDialogExists();
 void SetEngineOutputTitle( char *title );
 void InitEngineOutput P((Option *opt, Option *memo2)); // XB only
 void DrawWidgetIcon P((Option *opt, int nIcon)); // XB only
-