diff options
Diffstat (limited to 'mango-lassi.glade')
-rw-r--r-- | mango-lassi.glade | 58 |
1 files changed, 28 insertions, 30 deletions
diff --git a/mango-lassi.glade b/mango-lassi.glade index 54ba598..2be70a0 100644 --- a/mango-lassi.glade +++ b/mango-lassi.glade @@ -1,6 +1,6 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd"> -<!--Generated with glade3 3.2.2 on Sat Sep 8 01:45:26 2007 by lennart@ecstasy--> +<!--Generated with glade3 3.2.2 on Sun Sep 9 23:32:09 2007 by lennart@ecstasy--> <glade-interface> <widget class="GtkDialog" id="preferences_dialog"> <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> @@ -30,11 +30,12 @@ <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> <property name="shadow_type">GTK_SHADOW_IN</property> <child> - <widget class="GtkTreeView" id="desktopsTreeView"> + <widget class="GtkTreeView" id="tree_view"> <property name="visible">True</property> <property name="can_focus">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="headers_visible">False</property> + <property name="show_expanders">False</property> </widget> </child> </widget> @@ -231,41 +232,38 @@ </packing> </child> <child> - <widget class="GtkAlignment" id="alignment1"> + <widget class="GtkHBox" id="hbox7"> <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="left_padding">12</property> - <property name="right_padding">12</property> + <property name="border_width">4</property> + <property name="spacing">6</property> <child> - <widget class="GtkHBox" id="hbox7"> + <widget class="GtkImage" id="image6"> <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="spacing">12</property> - <child> - <widget class="GtkImage" id="image6"> - <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="xalign">1</property> - <property name="stock">gtk-dialog-info</property> - <property name="icon_size">5</property> - </widget> - </child> - <child> - <widget class="GtkLabel" id="label6"> - <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="xalign">0</property> - <property name="label" translatable="yes">Reorder the desktops you're already sharing mouse and keyboard with, or add new desktops to your session.</property> - <property name="justify">GTK_JUSTIFY_CENTER</property> - <property name="wrap">True</property> - <property name="selectable">True</property> - </widget> - <packing> - <property name="position">1</property> - </packing> - </child> + <property name="xalign">1</property> + <property name="stock">gtk-dialog-info</property> + <property name="icon_size">6</property> </widget> </child> + <child> + <widget class="GtkLabel" id="label6"> + <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="xalign">0</property> + <property name="label" translatable="yes"><i>Reorder the desktops you're already sharing mouse and keyboard with, or add new desktops to your session. +Order the desktops in the list above from left to right how they are positioned on your desk. +Please make sure to run Mango Lassi Input Sharing on all computers you want so share input with.</i></property> + <property name="use_markup">True</property> + <property name="justify">GTK_JUSTIFY_CENTER</property> + <property name="wrap">True</property> + <property name="selectable">True</property> + <property name="width_chars">50</property> + </widget> + <packing> + <property name="position">1</property> + </packing> + </child> </widget> <packing> <property name="expand">False</property> |