[gnome-mines] Fixed small flag icon. https://bugzilla.gnome.org/show_bug.cgi?id=732431

[Robert Roth <robertroth src gnome org>]

commit 2cb0c4631106af994132484eeaaccbfac89d8733
Author: Robert Roth <robert roth off gmail com>
Date:   Wed Jul 2 02:19:56 2014 +0300

    Fixed small flag icon.
    https://bugzilla.gnome.org/show_bug.cgi?id=732431
    
    As icon_size setting for custom icon seems to be broken, use
    the corresponding pixel-size instead of the named DND icon-size.

 data/interface.ui |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/data/interface.ui b/data/interface.ui
index 9fbcdd4..08a2a12 100644
--- a/data/interface.ui
+++ b/data/interface.ui
@@ -74,7 +74,7 @@
                         <property name="visible">True</property>
                         <property name="can_focus">False</property>
                         <property name="icon_name">flag-symbolic</property>
-                        <property name="icon_size">5</property>
+                        <property name="pixel_size">32</property>
                       </object>
                       <packing>
                         <property name="expand">False</property>
@@ -100,7 +100,7 @@
                         <property name="visible">True</property>
                         <property name="can_focus">False</property>
                         <property name="icon_name">preferences-system-time-symbolic</property>
-                        <property name="icon_size">5</property>
+                        <property name="pixel_size">32</property>
                       </object>
                       <packing>
                         <property name="expand">False</property>