# HG changeset patch
# User ib
# Date 1334756088 0
# Node ID bdf54c7f4eb68831e01e63805152ff53681b5a95
# Parent  70d16eb7899e4123ec8ab4268f65677e588addcc
Cosmetic: Adjust indent.

diff -r 70d16eb7899e -r bdf54c7f4eb6 gui/ui/widgets.c
--- a/gui/ui/widgets.c	Wed Apr 18 13:29:53 2012 +0000
+++ b/gui/ui/widgets.c	Wed Apr 18 13:34:48 2012 +0000
@@ -139,13 +139,13 @@
     theme = gtk_icon_theme_get_default();
 
     if (gtkLoadIcon(theme, 16, &gdkIcon, &gdkIconMask)) {
-    guiIcon.small      = GDK_PIXMAP_XID(gdkIcon);
-    guiIcon.small_mask = GDK_PIXMAP_XID(gdkIconMask);
+        guiIcon.small      = GDK_PIXMAP_XID(gdkIcon);
+        guiIcon.small_mask = GDK_PIXMAP_XID(gdkIconMask);
     }
 
     if (gtkLoadIcon(theme, 32, &gdkIcon, &gdkIconMask)) {
-    guiIcon.normal      = GDK_PIXMAP_XID(gdkIcon);
-    guiIcon.normal_mask = GDK_PIXMAP_XID(gdkIconMask);
+        guiIcon.normal      = GDK_PIXMAP_XID(gdkIcon);
+        guiIcon.normal_mask = GDK_PIXMAP_XID(gdkIconMask);
     }
 
     gtkLoadIcon(theme, 48, &gdkIcon, &gdkIconMask);