Fix clipping of GTK menu-bar labels for broad boards

[xboard.git] / gtk / xtimer.c

diff --git a/gtk/xtimer.c b/gtk/xtimer.c
index 7f17c92..8600e66 100644 (file)
--- a/gtk/xtimer.c
+++ b/gtk/xtimer.c
@@ -5,7 +5,7 @@
  * Massachusetts.
  *
  * Enhancements Copyright 1992-2001, 2002, 2003, 2004, 2005, 2006,
  * Massachusetts.
  *
  * Enhancements Copyright 1992-2001, 2002, 2003, 2004, 2005, 2006,

- * 2007, 2008, 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
+ * 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015 Free Software Foundation, Inc.

  *
  * The following terms apply to Digital Equipment Corporation's copyright
  * interest in XBoard:
  *
  * The following terms apply to Digital Equipment Corporation's copyright
  * interest in XBoard:


@@ -183,13 +183,14 @@ StartLoadGameTimer (long millisec)
 
 guint analysisClockTag = 0;
 
 
 guint analysisClockTag = 0;
 

-void
+int

 AnalysisClockCallback(gpointer data)
 {
     if (gameMode == AnalyzeMode || gameMode == AnalyzeFile
          || appData.icsEngineAnalyze) { // [DM]
        AnalysisPeriodicEvent(0);
     }
 AnalysisClockCallback(gpointer data)
 {
     if (gameMode == AnalyzeMode || gameMode == AnalyzeFile
          || appData.icsEngineAnalyze) { // [DM]
        AnalysisPeriodicEvent(0);
     }

+    return 1;

 }
 
 void
 }
 
 void