*
* 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.
*
* ------------------------------------------------------------------------
*
/* Module variables */
-static int currentPV, highTextStart[2], highTextEnd[2];
+static int currentPV;
static Pixmap icons[8]; // [HGM] this front-end array translates back-end icon indicator to handle
static Widget memoWidget;
XtSetValues(form2, args, j);
}
}
-