From c46c744529b705e7857cade893a5ec61e0b3d4a2 Mon Sep 17 00:00:00 2001 From: Jaime Velasco Juan Date: Fri, 14 Oct 2016 09:47:11 +0100 Subject: [PATCH] gtkwin32theme: delete #if 0 code https://bugzilla.gnome.org/show_bug.cgi?id=773221 --- gtk/gtkwin32theme.c | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/gtk/gtkwin32theme.c b/gtk/gtkwin32theme.c index c5f66dd404..13faff870f 100644 --- a/gtk/gtkwin32theme.c +++ b/gtk/gtkwin32theme.c @@ -439,17 +439,6 @@ gtk_win32_theme_get_part_size (GtkWin32Theme *theme, int *width, int *height) { -#if 0 - /* Known fallback sizes copied from Wine */ - struct { - int part; - int width; - int height; - } fallback_sizes[] = { - { BP_RADIOBUTTON, 13, 13 }, - { BP_CHECKBOX, 13, 13 }, - }; -#endif #ifdef G_OS_WIN32 HTHEME htheme = gtk_win32_theme_get_htheme (theme); SIZE size;