minor glade tweak

This commit is contained in:
Marcos Pinto 2007-12-25 02:25:50 +00:00
parent 445f3840b2
commit 653dcb046e
2 changed files with 6 additions and 6 deletions

View File

@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd"> <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
<!--Generated with glade3 3.4.0 on Mon Dec 24 20:21:06 2007 --> <!--Generated with glade3 3.4.0 on Mon Dec 24 20:24:43 2007 -->
<glade-interface> <glade-interface>
<widget class="GtkWindow" id="window1"> <widget class="GtkWindow" id="window1">
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
@ -12,7 +12,7 @@
<widget class="GtkToolbar" id="toolbar3"> <widget class="GtkToolbar" id="toolbar3">
<property name="visible">True</property> <property name="visible">True</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
<property name="icon_size">GTK_ICON_SIZE_SMALL_TOOLBAR</property> <property name="icon_size">GTK_ICON_SIZE_MENU</property>
<property name="icon_size_set">True</property> <property name="icon_size_set">True</property>
<child> <child>
<widget class="GtkToolButton" id="toolbutton_back"> <widget class="GtkToolButton" id="toolbutton_back">
@ -235,7 +235,7 @@
<property name="orientation">GTK_ORIENTATION_VERTICAL</property> <property name="orientation">GTK_ORIENTATION_VERTICAL</property>
<property name="toolbar_style">GTK_TOOLBAR_ICONS</property> <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
<property name="show_arrow">False</property> <property name="show_arrow">False</property>
<property name="icon_size">GTK_ICON_SIZE_SMALL_TOOLBAR</property> <property name="icon_size">GTK_ICON_SIZE_MENU</property>
<child> <child>
<widget class="GtkToolButton" id="toolbutton_back2"> <widget class="GtkToolButton" id="toolbutton_back2">
<property name="height_request">94</property> <property name="height_request">94</property>
@ -283,7 +283,7 @@
<property name="orientation">GTK_ORIENTATION_VERTICAL</property> <property name="orientation">GTK_ORIENTATION_VERTICAL</property>
<property name="toolbar_style">GTK_TOOLBAR_ICONS</property> <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
<property name="show_arrow">False</property> <property name="show_arrow">False</property>
<property name="icon_size">GTK_ICON_SIZE_SMALL_TOOLBAR</property> <property name="icon_size">GTK_ICON_SIZE_MENU</property>
<child> <child>
<widget class="GtkToolButton" id="toolbutton_forward2"> <widget class="GtkToolButton" id="toolbutton_forward2">
<property name="height_request">94</property> <property name="height_request">94</property>

View File

@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd"> <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
<!--Generated with glade3 3.4.0 on Mon Dec 24 20:20:31 2007 --> <!--Generated with glade3 3.4.0 on Mon Dec 24 20:24:10 2007 -->
<glade-interface> <glade-interface>
<widget class="GtkWindow" id="window1"> <widget class="GtkWindow" id="window1">
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
@ -12,7 +12,7 @@
<widget class="GtkToolbar" id="toolbar3"> <widget class="GtkToolbar" id="toolbar3">
<property name="visible">True</property> <property name="visible">True</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
<property name="icon_size">GTK_ICON_SIZE_SMALL_TOOLBAR</property> <property name="icon_size">GTK_ICON_SIZE_MENU</property>
<property name="icon_size_set">True</property> <property name="icon_size_set">True</property>
<child> <child>
<widget class="GtkToolButton" id="toolbutton_back"> <widget class="GtkToolButton" id="toolbutton_back">