[PATCH] InitGTK: Remove unused GtkIconFactory initialization

[Nikolas Nyby]

It appears the picf GtkIconFactory is created but not actually used for
anything. I think we can remove this code.
---
 gtkgame.c | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/gtkgame.c b/gtkgame.c
index 82693046..191358f5 100644
--- a/gtkgame.c
+++ b/gtkgame.c
@@ -4772,7 +4772,6 @@ extern void
 InitGTK(int *argc, char ***argv)
 {
     char *sz;
-    GtkIconFactory *picf;
     GdkAtom cb;
 
 #if ! GTK_CHECK_VERSION(3,0,0)
@@ -4803,10 +4802,6 @@ InitGTK(int *argc, char ***argv)
     widget3dValid = InitGTK3d(argc, argv);
 #endif
 
-    /*add two xpm based icons */
-    picf = gtk_icon_factory_new();
-    gtk_icon_factory_add_default(picf);
-
     gnubg_set_default_icon();
 
     CreateMainWindow();
-- 
2.40.1