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 f891a0e..8600e66 100644 (file)
--- a/gtk/xtimer.c
+++ b/gtk/xtimer.c
@@ -183,13 +183,14 @@ StartLoadGameTimer (long millisec)
 
 guint analysisClockTag = 0;
 
-void
+int
 AnalysisClockCallback(gpointer data)
 {
     if (gameMode == AnalyzeMode || gameMode == AnalyzeFile
          || appData.icsEngineAnalyze) { // [DM]
        AnalysisPeriodicEvent(0);
     }
+    return 1;
 }
 
 void