/*
* 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
*
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 );
void SetEngineOutputTitle( char *title );
void InitEngineOutput P((Option *opt, Option *memo2)); // XB only
void DrawWidgetIcon P((Option *opt, int nIcon)); // XB only
-