From 51d32ed56ad952a7f93159bb1f3c9bc330ceb2ec Mon Sep 17 00:00:00 2001
From: H.G.Muller <hgm@hgm-xboard.(none)>
Date: Thu, 11 Sep 2014 19:17:55 +0200
Subject: [PATCH] Let OS X display dock icon

---
 gtk/xboard.c |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)

diff --git a/gtk/xboard.c b/gtk/xboard.c
index 2c51e01..532df06 100644
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -2030,7 +2030,11 @@ SetClockIcon (int color)
     GdkPixbuf *pm = *clockIcons[color];
     if (mainwindowIcon != pm) {
         mainwindowIcon = pm;
-	gtk_window_set_icon(GTK_WINDOW(shellWidget), mainwindowIcon);
+#ifdef __APPLE__
+        gtkosx_application_set_dock_icon_pixbuf(theApp, mainwindowIcon);
+#else
+        gtk_window_set_icon(GTK_WINDOW(shellWidget), mainwindowIcon);
+#endif
     }
 }
 
-- 
1.7.0.4