Attachment 254411 Details for Bug 375691 – gnome-panel-2.20.1-compiz-support.patch

[patch] gnome-panel-2.20.1-compiz-support.patch

gnome-panel-2.20.1-compiz-support.patch (text/plain), 85.15 KB, created by drago01 on 2007-11-11 11:22:48 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: drago01

Created: 2007-11-11 11:22:48 UTC

Size: 85.15 KB

patch

obsolete

>diff -upNr gnome-panel-2.20.1.orign/applets/wncklet/workspace-switcher.c gnome-panel-2.20.1/applets/wncklet/workspace-switcher.c
>--- gnome-panel-2.20.1.orign/applets/wncklet/workspace-switcher.c	2007-10-15 22:00:48.000000000 +0200
>+++ gnome-panel-2.20.1/applets/wncklet/workspace-switcher.c	2007-11-11 11:38:13.000000000 +0100
>@@ -26,6 +26,9 @@
> #include <libwnck/libwnck.h>
> #include <gconf/gconf-client.h>
> #include <libgnomeui/gnome-help.h>
>+#include <gdk/gdkx.h>
>+#include <X11/Xlib.h>
>+#include <X11/Xatom.h>
> 
> #include "workspace-switcher.h"
> 
>@@ -55,6 +58,9 @@ typedef struct {
> 
> 	/* Properties: */
> 	GtkWidget *properties_dialog;
>+        GtkWidget *notebook;
>+        GtkWidget *viewport_child;
>+        GtkWidget *workspace_child;
> 	GtkWidget *workspaces_frame;
> 	GtkWidget *workspace_names_label;
> 	GtkWidget *workspace_names_scroll;
>@@ -68,7 +74,9 @@ typedef struct {
> 	GtkListStore *workspaces_store;
> 
> 	GtkWidget *about;
>-	
>+	GtkWidget *width_spinbutton;
>+        GtkWidget *height_spinbutton;
>+
> 	GtkOrientation orientation;
> 	int n_rows;				/* for vertical layout this is cols */
> 	WnckPagerDisplayMode display_mode;
>@@ -888,6 +896,38 @@ setup_sensitivity (PagerData *pager,
> }
> 
> static void
>+spinbutton_changed (GtkWidget *widget,
>+                    gpointer   data)
>+{
>+        GConfClient *client = gconf_client_get_default ();
>+        const char *key = data;
>+
>+        int value = gtk_spin_button_get_value (GTK_SPIN_BUTTON (widget));
>+
>+        gconf_client_set_int (client, key, value, NULL);
>+}
>+
>+static void
>+setup_spinbutton (GtkSpinButton *spin,
>+                  const char *key,
>+                  int minimum)
>+{
>+        GConfClient *client = gconf_client_get_default ();
>+        int value;
>+        
>+        if (!gconf_client_key_is_writable (client, key, NULL))
>+                gtk_widget_set_sensitive (GTK_WIDGET (spin), FALSE);
>+
>+        value = gconf_client_get_int (client, key, NULL);
>+
>+        gtk_spin_button_set_range (spin, minimum, G_MAXINT);
>+        gtk_spin_button_set_value (spin, value);
>+        
>+        g_signal_connect (spin, "value_changed", G_CALLBACK (spinbutton_changed), (gpointer)key);
>+}
>+
>+
>+static void
> setup_dialog (GladeXML  *xml,
> 	      PagerData *pager)
> {
>@@ -1026,20 +1066,141 @@ setup_dialog (GladeXML  *xml,
> 				pager->properties_dialog);
> 	}
> 
>+        gtk_notebook_set_show_tabs (GTK_NOTEBOOK (pager->notebook), FALSE);
>+        gtk_notebook_set_show_border (GTK_NOTEBOOK (pager->notebook), FALSE);
>+
>+        setup_spinbutton (pager->width_spinbutton, "/apps/compiz/general/screen0/options/hsize", 1);
>+        setup_spinbutton (pager->height_spinbutton, "/apps/compiz/general/screen0/options/vsize", 1);
>+
> 	update_properties_for_wm (pager);
> }
> 
>+
>+/* get_wm_window() and current_window_manager() are essentially cutted and pasted
>+ * from gnome-wm.c from gnome-control-center.
>+ */
>+static Window
>+get_wm_window (void)
>+{
>+    Window *xwindow;
>+    Atom type;
>+    gint format;
>+    gulong nitems;
>+    gulong bytes_after;
>+    Window result;
>+    
>+    XGetWindowProperty (GDK_DISPLAY (), GDK_ROOT_WINDOW (),
>+			XInternAtom (GDK_DISPLAY (), "_NET_SUPPORTING_WM_CHECK", False),
>+			0, G_MAXLONG, False, XA_WINDOW, &type, &format,
>+			&nitems, &bytes_after, (guchar **) &xwindow);
>+    
>+    if (type != XA_WINDOW)
>+    {
>+	return None;
>+    }
>+    
>+    gdk_error_trap_push ();
>+    XSelectInput (GDK_DISPLAY (), *xwindow, StructureNotifyMask | PropertyChangeMask);
>+    XSync (GDK_DISPLAY (), False);
>+    
>+    if (gdk_error_trap_pop ())
>+    {
>+	XFree (xwindow);
>+	return None;
>+    }
>+    
>+    result = *xwindow;
>+    XFree (xwindow);
>+
>+    return result;
>+}
>+
>+static char*
>+get_current_window_manager (void)
>+{
>+    Atom utf8_string, atom, type;
>+    int result;
>+    char *retval;
>+    int format;
>+    gulong nitems;
>+    gulong bytes_after;
>+    gchar *val;
>+    Window wm_window = get_wm_window ();
>+    
>+    utf8_string = XInternAtom (GDK_DISPLAY (), "UTF8_STRING", False);
>+    atom = XInternAtom (GDK_DISPLAY (), "_NET_WM_NAME", False);
>+    
>+    gdk_error_trap_push ();
>+    
>+    result = XGetWindowProperty (GDK_DISPLAY (),
>+				 wm_window,
>+				 atom,
>+				 0, G_MAXLONG,
>+				 False, utf8_string,
>+				 &type, &format, &nitems,
>+				 &bytes_after, (guchar **)&val);
>+    
>+    if (gdk_error_trap_pop () || result != Success)
>+	return NULL;
>+    
>+    if (type != utf8_string ||
>+	format !=8 ||
>+	nitems == 0)
>+    {
>+	if (val)
>+	    XFree (val);
>+	return NULL;
>+    }
>+    
>+    if (!g_utf8_validate (val, nitems, NULL))
>+    {
>+	XFree (val);
>+	return NULL;
>+    }
>+    
>+    retval = g_strndup (val, nitems);
>+    
>+    XFree (val);
>+    
>+    return retval;
>+}
>+
>+static gboolean
>+compiz_is_running (void)
>+{
>+    gboolean result;
>+    char *wm = get_current_window_manager ();
>+    
>+    result = wm && strcmp (wm, "compiz") == 0;
>+    
>+    g_free (wm);
>+    
>+    return result;
>+ }
>+
>+
>+
> static void 
> display_properties_dialog (BonoboUIComponent *uic,
> 			   PagerData         *pager,
> 			   const gchar       *verbname)
> {
>-	if (pager->properties_dialog == NULL) {
>-		GladeXML  *xml;
> 
>-		xml = glade_xml_new (PAGER_GLADEDIR "/workspace-switcher.glade", NULL, NULL);
>+        gboolean using_compiz;
>+	if (pager->properties_dialog == NULL) {
>+		GladeXML  *xml = glade_xml_new (PAGER_GLADEDIR "/workspace-switcher.glade", NULL, NULL);
>+		 
> 		pager->properties_dialog = glade_xml_get_widget (xml, "pager_properties_dialog");
> 
>+                pager->notebook = glade_xml_get_widget (xml, "notebook");
>+                pager->viewport_child = glade_xml_get_widget (xml, "viewport-child");
>+                pager->workspace_child = glade_xml_get_widget (xml, "workspace-child");
>+                pager->width_spinbutton = glade_xml_get_widget (xml, "width-spinbutton");
>+                pager->height_spinbutton = glade_xml_get_widget (xml, "height-spinbutton");
>+
>+                g_object_ref (pager->viewport_child);
>+                g_object_ref (pager->workspace_child);
>+
> 		g_object_add_weak_pointer (G_OBJECT (pager->properties_dialog), 
> 					   (gpointer *) &pager->properties_dialog);
> 
>@@ -1048,9 +1209,27 @@ display_properties_dialog (BonoboUICompo
> 		g_object_unref (G_OBJECT (xml));
> 	}
> 
>+        using_compiz = compiz_is_running();
>+
>+        if (using_compiz) {
>+                gtk_widget_hide (pager->workspace_child);
>+                gtk_widget_show (pager->viewport_child);
>+                gtk_window_set_resizable (GTK_WINDOW (pager->properties_dialog), FALSE);
>+        }
>+        else {
>+                gtk_widget_show (pager->workspace_child);
>+                gtk_widget_hide (pager->viewport_child);
>+                gtk_window_set_resizable (GTK_WINDOW (pager->properties_dialog), TRUE);
>+        }
>+
> 	gtk_window_set_icon_name (GTK_WINDOW (pager->properties_dialog),
> 	                          "gnome-panel-workspace-switcher");
> 	gtk_window_set_screen (GTK_WINDOW (pager->properties_dialog),
> 			       gtk_widget_get_screen (pager->applet));
> 	gtk_window_present (GTK_WINDOW (pager->properties_dialog));
>+
>+        if (using_compiz) {
>+               gtk_widget_grab_focus (pager->width_spinbutton);
>+               gtk_editable_select_region (GTK_EDITABLE (pager->width_spinbutton), 0, -1);
>+        }
> }
>diff -upNr gnome-panel-2.20.1.orign/applets/wncklet/workspace-switcher.glade gnome-panel-2.20.1/applets/wncklet/workspace-switcher.glade
>--- gnome-panel-2.20.1.orign/applets/wncklet/workspace-switcher.glade	2007-10-15 22:00:48.000000000 +0200
>+++ gnome-panel-2.20.1/applets/wncklet/workspace-switcher.glade	2007-11-11 12:11:50.000000000 +0100
>@@ -1,287 +1,772 @@
>-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
>-<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
>-
>+<?xml version="1.0" standalone="no"?> 
>+<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
>+
> <glade-interface>
>-  <widget class="GtkDialog" id="pager_properties_dialog">
>-    <property name="border_width">5</property>
>-    <property name="title" translatable="yes">Workspace Switcher Preferences</property>
>-    <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
>-    <property name="has_separator">False</property>
>-    <child internal-child="vbox">
>-      <widget class="GtkVBox" id="dialog-vbox1">
>-        <property name="visible">True</property>
>-        <property name="spacing">2</property>
>-        <child>
>-          <widget class="GtkVBox" id="vbox2">
>-            <property name="visible">True</property>
>-            <property name="border_width">5</property>
>-            <property name="spacing">12</property>
>-            <child>
>-              <widget class="GtkFrame" id="frame1">
>-                <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="label_xalign">0</property>
>-                <property name="shadow_type">GTK_SHADOW_NONE</property>
>-                <child>
>-                  <widget class="GtkAlignment" id="alignment2">
>-                    <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>
>-                    <child>
>-                      <widget class="GtkVBox" id="vbox5">
>-                        <property name="visible">True</property>
>-                        <property name="spacing">6</property>
>-                        <child>
>-                          <widget class="GtkRadioButton" id="current_only_radio">
>-                            <property name="visible">True</property>
>-                            <property name="can_focus">True</property>
>-                            <property name="label" translatable="yes">Show _only the current workspace</property>
>-                            <property name="use_underline">True</property>
>-                            <property name="response_id">0</property>
>-                            <property name="draw_indicator">True</property>
>-                          </widget>
>-                          <packing>
>-                            <property name="expand">False</property>
>-                            <property name="fill">False</property>
>-                          </packing>
>-                        </child>
>-                        <child>
>-                          <widget class="GtkHBox" id="hbox9">
>-                            <property name="visible">True</property>
>-                            <property name="spacing">12</property>
>-                            <child>
>-                              <widget class="GtkRadioButton" id="all_workspaces_radio">
>-                                <property name="visible">True</property>
>-                                <property name="can_focus">True</property>
>-                                <property name="label" translatable="yes">Show _all workspaces in:</property>
>-                                <property name="use_underline">True</property>
>-                                <property name="response_id">0</property>
>-                                <property name="draw_indicator">True</property>
>-                                <property name="group">current_only_radio</property>
>-                              </widget>
>-                              <packing>
>-                                <property name="expand">False</property>
>-                                <property name="fill">False</property>
>-                              </packing>
>-                            </child>
>-                            <child>
>-                              <widget class="GtkHBox" id="hbox10">
>-                                <property name="visible">True</property>
>-                                <property name="spacing">6</property>
>-                                <child>
>-                                  <widget class="GtkSpinButton" id="num_rows_spin">
>-                                    <property name="visible">True</property>
>-                                    <property name="can_focus">True</property>
>-                                    <property name="adjustment">1 1 16 1 10 10</property>
>-                                    <property name="climb_rate">1</property>
>-                                    <property name="numeric">True</property>
>-                                  </widget>
>-                                </child>
>-                                <child>
>-                                  <widget class="GtkLabel" id="label_row_col">
>-                                    <property name="visible">True</property>
>-                                    <property name="xalign">0</property>
>-                                    <property name="label" translatable="yes">rows</property>
>-                                    <property name="justify">GTK_JUSTIFY_CENTER</property>
>-                                    <property name="mnemonic_widget">num_rows_spin</property>
>-                                  </widget>
>-                                  <packing>
>-                                    <property name="expand">False</property>
>-                                    <property name="fill">False</property>
>-                                    <property name="position">1</property>
>-                                  </packing>
>-                                </child>
>-                              </widget>
>-                              <packing>
>-                                <property name="position">1</property>
>-                              </packing>
>-                            </child>
>-                          </widget>
>-                          <packing>
>-                            <property name="position">1</property>
>-                          </packing>
>-                        </child>
>-                      </widget>
>-                    </child>
>-                  </widget>
>-                </child>
>-                <child>
>-                  <widget class="GtkLabel" id="label2">
>-                    <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="label" translatable="yes">&lt;b&gt;Switcher&lt;/b&gt;</property>
>-                    <property name="use_markup">True</property>
>-                  </widget>
>-                  <packing>
>-                    <property name="type">label_item</property>
>-                  </packing>
>-                </child>
>-              </widget>
>-              <packing>
>-                <property name="expand">False</property>
>-              </packing>
>-            </child>
>-            <child>
>-              <widget class="GtkFrame" id="workspaces_frame">
>-                <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="label_xalign">0</property>
>-                <property name="shadow_type">GTK_SHADOW_NONE</property>
>-                <child>
>-                  <widget class="GtkAlignment" id="alignment1">
>-                    <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>
>-                    <child>
>-                      <widget class="GtkVBox" id="vbox1">
>-                        <property name="visible">True</property>
>-                        <property name="spacing">6</property>
>-                        <child>
>-                          <widget class="GtkHBox" id="hbox4">
>-                            <property name="visible">True</property>
>-                            <property name="spacing">12</property>
>-                            <child>
>-                              <widget class="GtkLabel" id="num_workspaces_label">
>-                                <property name="visible">True</property>
>-                                <property name="xalign">0</property>
>-                                <property name="label" translatable="yes">Number of _workspaces:</property>
>-                                <property name="use_underline">True</property>
>-                                <property name="justify">GTK_JUSTIFY_CENTER</property>
>-                                <property name="mnemonic_widget">num_workspaces_spin</property>
>-                              </widget>
>-                              <packing>
>-                                <property name="expand">False</property>
>-                                <property name="fill">False</property>
>-                              </packing>
>-                            </child>
>-                            <child>
>-                              <widget class="GtkSpinButton" id="num_workspaces_spin">
>-                                <property name="visible">True</property>
>-                                <property name="can_focus">True</property>
>-                                <property name="adjustment">1 1 36 1 10 10</property>
>-                                <property name="climb_rate">1</property>
>-                                <property name="numeric">True</property>
>-                              </widget>
>-                              <packing>
>-                                <property name="position">1</property>
>-                              </packing>
>-                            </child>
>-                          </widget>
>-                          <packing>
>-                            <property name="expand">False</property>
>-                            <property name="fill">False</property>
>-                          </packing>
>-                        </child>
>-                        <child>
>-                          <widget class="GtkLabel" id="workspace_names_label">
>-                            <property name="visible">True</property>
>-                            <property name="xalign">0</property>
>-                            <property name="label" translatable="yes">Workspace na_mes:</property>
>-                            <property name="use_underline">True</property>
>-                            <property name="mnemonic_widget">workspaces_tree_view</property>
>-                          </widget>
>-                          <packing>
>-                            <property name="expand">False</property>
>-                            <property name="fill">False</property>
>-                            <property name="position">1</property>
>-                          </packing>
>-                        </child>
>-                        <child>
>-                          <widget class="GtkScrolledWindow" id="workspace_names_scroll">
>-                            <property name="height_request">100</property>
>-                            <property name="visible">True</property>
>-                            <property name="can_focus">True</property>
>-                            <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
>-                            <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
>-                            <property name="shadow_type">GTK_SHADOW_IN</property>
>-                            <child>
>-                              <widget class="GtkTreeView" id="workspaces_tree_view">
>-                                <property name="visible">True</property>
>-                                <property name="can_focus">True</property>
>-                                <property name="tooltip" translatable="yes">Workspace Names</property>
>-                                <property name="headers_visible">False</property>
>-                              </widget>
>-                            </child>
>-                          </widget>
>-                          <packing>
>-                            <property name="position">2</property>
>-                          </packing>
>-                        </child>
>-                        <child>
>-                          <widget class="GtkCheckButton" id="workspace_name_toggle">
>-                            <property name="visible">True</property>
>-                            <property name="can_focus">True</property>
>-                            <property name="label" translatable="yes">Show workspace _names in switcher</property>
>-                            <property name="use_underline">True</property>
>-                            <property name="response_id">0</property>
>-                            <property name="draw_indicator">True</property>
>-                          </widget>
>-                          <packing>
>-                            <property name="expand">False</property>
>-                            <property name="fill">False</property>
>-                            <property name="position">3</property>
>-                          </packing>
>-                        </child>
>-                      </widget>
>-                    </child>
>-                  </widget>
>-                </child>
>-                <child>
>-                  <widget class="GtkLabel" id="label1">
>-                    <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="label" translatable="yes">&lt;b&gt;Workspaces&lt;/b&gt;</property>
>-                    <property name="use_markup">True</property>
>-                  </widget>
>-                  <packing>
>-                    <property name="type">label_item</property>
>-                  </packing>
>-                </child>
>-              </widget>
>-              <packing>
>-                <property name="position">1</property>
>-              </packing>
>-            </child>
>-          </widget>
>-          <packing>
>-            <property name="position">1</property>
>-          </packing>
>-        </child>
>-        <child internal-child="action_area">
>-          <widget class="GtkHButtonBox" id="dialog-action_area1">
>-            <property name="visible">True</property>
>-            <property name="layout_style">GTK_BUTTONBOX_END</property>
>-            <child>
>-              <widget class="GtkButton" id="help_button">
>-                <property name="visible">True</property>
>-                <property name="can_focus">True</property>
>-                <property name="can_default">True</property>
>-                <property name="label">gtk-help</property>
>-                <property name="use_stock">True</property>
>-                <property name="response_id">-11</property>
>-              </widget>
>-            </child>
>-            <child>
>-              <widget class="GtkButton" id="done_button">
>-                <property name="visible">True</property>
>-                <property name="can_focus">True</property>
>-                <property name="can_default">True</property>
>-                <property name="has_default">True</property>
>-                <property name="label">gtk-close</property>
>-                <property name="use_stock">True</property>
>-                <property name="response_id">0</property>
>-              </widget>
>-              <packing>
>-                <property name="position">1</property>
>-              </packing>
>-            </child>
>-          </widget>
>-          <packing>
>-            <property name="expand">False</property>
>-            <property name="pack_type">GTK_PACK_END</property>
>-          </packing>
>-        </child>
>-      </widget>
>-    </child>
>-  </widget>
>+
>+<widget class="GtkDialog" id="pager_properties_dialog">
>+  <property name="border_width">5</property>
>+  <property name="title" translatable="yes">Workspace Switcher Preferences</property>
>+  <property name="type">GTK_WINDOW_TOPLEVEL</property>
>+  <property name="window_position">GTK_WIN_POS_NONE</property>
>+  <property name="modal">False</property>
>+  <property name="resizable">True</property>
>+  <property name="destroy_with_parent">False</property>
>+  <property name="decorated">True</property>
>+  <property name="skip_taskbar_hint">False</property>
>+  <property name="skip_pager_hint">False</property>
>+  <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
>+  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
>+  <property name="focus_on_map">True</property>
>+  <property name="urgency_hint">False</property>
>+  <property name="has_separator">False</property>
>+
>+  <child internal-child="vbox">
>+    <widget class="GtkVBox" id="dialog-vbox1">
>+      <property name="visible">True</property>
>+      <property name="homogeneous">False</property>
>+      <property name="spacing">2</property>
>+
>+      <child internal-child="action_area">
>+	<widget class="GtkHButtonBox" id="dialog-action_area1">
>+	  <property name="visible">True</property>
>+	  <property name="layout_style">GTK_BUTTONBOX_END</property>
>+
>+	  <child>
>+	    <widget class="GtkButton" id="help_button">
>+	      <property name="visible">True</property>
>+	      <property name="can_default">True</property>
>+	      <property name="can_focus">True</property>
>+	      <property name="label">gtk-help</property>
>+	      <property name="use_stock">True</property>
>+	      <property name="relief">GTK_RELIEF_NORMAL</property>
>+	      <property name="focus_on_click">True</property>
>+	      <property name="response_id">-11</property>
>+	    </widget>
>+	  </child>
>+
>+	  <child>
>+	    <widget class="GtkButton" id="done_button">
>+	      <property name="visible">True</property>
>+	      <property name="can_default">True</property>
>+	      <property name="has_default">True</property>
>+	      <property name="can_focus">True</property>
>+	      <property name="label">gtk-close</property>
>+	      <property name="use_stock">True</property>
>+	      <property name="relief">GTK_RELIEF_NORMAL</property>
>+	      <property name="focus_on_click">True</property>
>+	      <property name="response_id">0</property>
>+	    </widget>
>+	  </child>
>+	</widget>
>+	<packing>
>+	  <property name="padding">0</property>
>+	  <property name="expand">False</property>
>+	  <property name="fill">True</property>
>+	  <property name="pack_type">GTK_PACK_END</property>
>+	</packing>
>+      </child>
>+
>+      <child>
>+	<widget class="GtkNotebook" id="notebook">
>+	  <property name="visible">True</property>
>+	  <property name="can_focus">True</property>
>+	  <property name="show_tabs">True</property>
>+	  <property name="show_border">True</property>
>+	  <property name="tab_pos">GTK_POS_TOP</property>
>+	  <property name="scrollable">False</property>
>+	  <property name="enable_popup">False</property>
>+
>+	  <child>
>+	    <widget class="GtkVBox" id="workspace-child">
>+	      <property name="border_width">5</property>
>+	      <property name="visible">True</property>
>+	      <property name="homogeneous">False</property>
>+	      <property name="spacing">12</property>
>+
>+	      <child>
>+		<widget class="GtkFrame" id="frame1">
>+		  <property name="visible">True</property>
>+		  <property name="label_xalign">0</property>
>+		  <property name="label_yalign">0.5</property>
>+		  <property name="shadow_type">GTK_SHADOW_NONE</property>
>+
>+		  <child>
>+		    <widget class="GtkAlignment" id="alignment2">
>+		      <property name="visible">True</property>
>+		      <property name="xalign">0.5</property>
>+		      <property name="yalign">0.5</property>
>+		      <property name="xscale">1</property>
>+		      <property name="yscale">1</property>
>+		      <property name="top_padding">0</property>
>+		      <property name="bottom_padding">0</property>
>+		      <property name="left_padding">12</property>
>+		      <property name="right_padding">0</property>
>+
>+		      <child>
>+			<widget class="GtkVBox" id="vbox5">
>+			  <property name="visible">True</property>
>+			  <property name="homogeneous">False</property>
>+			  <property name="spacing">6</property>
>+
>+			  <child>
>+			    <widget class="GtkRadioButton" id="current_only_radio">
>+			      <property name="visible">True</property>
>+			      <property name="can_focus">True</property>
>+			      <property name="label" translatable="yes">Show _only the current workspace</property>
>+			      <property name="use_underline">True</property>
>+			      <property name="relief">GTK_RELIEF_NORMAL</property>
>+			      <property name="focus_on_click">True</property>
>+			      <property name="active">False</property>
>+			      <property name="inconsistent">False</property>
>+			      <property name="draw_indicator">True</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="padding">0</property>
>+			      <property name="expand">False</property>
>+			      <property name="fill">False</property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkHBox" id="hbox9">
>+			      <property name="visible">True</property>
>+			      <property name="homogeneous">False</property>
>+			      <property name="spacing">12</property>
>+
>+			      <child>
>+				<widget class="GtkRadioButton" id="all_workspaces_radio">
>+				  <property name="visible">True</property>
>+				  <property name="can_focus">True</property>
>+				  <property name="label" translatable="yes">Show _all workspaces in:</property>
>+				  <property name="use_underline">True</property>
>+				  <property name="relief">GTK_RELIEF_NORMAL</property>
>+				  <property name="focus_on_click">True</property>
>+				  <property name="active">False</property>
>+				  <property name="inconsistent">False</property>
>+				  <property name="draw_indicator">True</property>
>+				  <property name="group">current_only_radio</property>
>+				</widget>
>+				<packing>
>+				  <property name="padding">0</property>
>+				  <property name="expand">False</property>
>+				  <property name="fill">False</property>
>+				</packing>
>+			      </child>
>+
>+			      <child>
>+				<widget class="GtkHBox" id="hbox10">
>+				  <property name="visible">True</property>
>+				  <property name="homogeneous">False</property>
>+				  <property name="spacing">6</property>
>+
>+				  <child>
>+				    <widget class="GtkSpinButton" id="num_rows_spin">
>+				      <property name="visible">True</property>
>+				      <property name="can_focus">True</property>
>+				      <property name="climb_rate">1</property>
>+				      <property name="digits">0</property>
>+				      <property name="numeric">True</property>
>+				      <property name="update_policy">GTK_UPDATE_ALWAYS</property>
>+				      <property name="snap_to_ticks">False</property>
>+				      <property name="wrap">False</property>
>+				      <property name="adjustment">1 1 16 1 10 10</property>
>+				    </widget>
>+				    <packing>
>+				      <property name="padding">0</property>
>+				      <property name="expand">True</property>
>+				      <property name="fill">True</property>
>+				    </packing>
>+				  </child>
>+
>+				  <child>
>+				    <widget class="GtkLabel" id="label_row_col">
>+				      <property name="visible">True</property>
>+				      <property name="label" translatable="yes">rows</property>
>+				      <property name="use_underline">False</property>
>+				      <property name="use_markup">False</property>
>+				      <property name="justify">GTK_JUSTIFY_CENTER</property>
>+				      <property name="wrap">False</property>
>+				      <property name="selectable">False</property>
>+				      <property name="xalign">0</property>
>+				      <property name="yalign">0.5</property>
>+				      <property name="xpad">0</property>
>+				      <property name="ypad">0</property>
>+				      <property name="mnemonic_widget">num_rows_spin</property>
>+				      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+				      <property name="width_chars">-1</property>
>+				      <property name="single_line_mode">False</property>
>+				      <property name="angle">0</property>
>+				    </widget>
>+				    <packing>
>+				      <property name="padding">0</property>
>+				      <property name="expand">False</property>
>+				      <property name="fill">False</property>
>+				    </packing>
>+				  </child>
>+				</widget>
>+				<packing>
>+				  <property name="padding">0</property>
>+				  <property name="expand">True</property>
>+				  <property name="fill">True</property>
>+				</packing>
>+			      </child>
>+			    </widget>
>+			    <packing>
>+			      <property name="padding">0</property>
>+			      <property name="expand">True</property>
>+			      <property name="fill">True</property>
>+			    </packing>
>+			  </child>
>+			</widget>
>+		      </child>
>+		    </widget>
>+		  </child>
>+
>+		  <child>
>+		    <widget class="GtkLabel" id="label2">
>+		      <property name="visible">True</property>
>+		      <property name="label" translatable="yes">&lt;b&gt;Switcher&lt;/b&gt;</property>
>+		      <property name="use_underline">False</property>
>+		      <property name="use_markup">True</property>
>+		      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+		      <property name="wrap">False</property>
>+		      <property name="selectable">False</property>
>+		      <property name="xalign">0.5</property>
>+		      <property name="yalign">0.5</property>
>+		      <property name="xpad">0</property>
>+		      <property name="ypad">0</property>
>+		      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+		      <property name="width_chars">-1</property>
>+		      <property name="single_line_mode">False</property>
>+		      <property name="angle">0</property>
>+		    </widget>
>+		    <packing>
>+		      <property name="type">label_item</property>
>+		    </packing>
>+		  </child>
>+		</widget>
>+		<packing>
>+		  <property name="padding">0</property>
>+		  <property name="expand">False</property>
>+		  <property name="fill">True</property>
>+		</packing>
>+	      </child>
>+
>+	      <child>
>+		<widget class="GtkFrame" id="workspaces_frame">
>+		  <property name="visible">True</property>
>+		  <property name="label_xalign">0</property>
>+		  <property name="label_yalign">0.5</property>
>+		  <property name="shadow_type">GTK_SHADOW_NONE</property>
>+
>+		  <child>
>+		    <widget class="GtkAlignment" id="alignment1">
>+		      <property name="visible">True</property>
>+		      <property name="xalign">0.5</property>
>+		      <property name="yalign">0.5</property>
>+		      <property name="xscale">1</property>
>+		      <property name="yscale">1</property>
>+		      <property name="top_padding">0</property>
>+		      <property name="bottom_padding">0</property>
>+		      <property name="left_padding">12</property>
>+		      <property name="right_padding">0</property>
>+
>+		      <child>
>+			<widget class="GtkVBox" id="vbox1">
>+			  <property name="visible">True</property>
>+			  <property name="homogeneous">False</property>
>+			  <property name="spacing">6</property>
>+
>+			  <child>
>+			    <widget class="GtkHBox" id="hbox4">
>+			      <property name="visible">True</property>
>+			      <property name="homogeneous">False</property>
>+			      <property name="spacing">12</property>
>+
>+			      <child>
>+				<widget class="GtkLabel" id="num_workspaces_label">
>+				  <property name="visible">True</property>
>+				  <property name="label" translatable="yes">Number of _workspaces:</property>
>+				  <property name="use_underline">True</property>
>+				  <property name="use_markup">False</property>
>+				  <property name="justify">GTK_JUSTIFY_CENTER</property>
>+				  <property name="wrap">False</property>
>+				  <property name="selectable">False</property>
>+				  <property name="xalign">0</property>
>+				  <property name="yalign">0.5</property>
>+				  <property name="xpad">0</property>
>+				  <property name="ypad">0</property>
>+				  <property name="mnemonic_widget">num_workspaces_spin</property>
>+				  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+				  <property name="width_chars">-1</property>
>+				  <property name="single_line_mode">False</property>
>+				  <property name="angle">0</property>
>+				</widget>
>+				<packing>
>+				  <property name="padding">0</property>
>+				  <property name="expand">False</property>
>+				  <property name="fill">False</property>
>+				</packing>
>+			      </child>
>+
>+			      <child>
>+				<widget class="GtkSpinButton" id="num_workspaces_spin">
>+				  <property name="visible">True</property>
>+				  <property name="can_focus">True</property>
>+				  <property name="climb_rate">1</property>
>+				  <property name="digits">0</property>
>+				  <property name="numeric">True</property>
>+				  <property name="update_policy">GTK_UPDATE_ALWAYS</property>
>+				  <property name="snap_to_ticks">False</property>
>+				  <property name="wrap">False</property>
>+				  <property name="adjustment">1 1 36 1 10 10</property>
>+				</widget>
>+				<packing>
>+				  <property name="padding">0</property>
>+				  <property name="expand">True</property>
>+				  <property name="fill">True</property>
>+				</packing>
>+			      </child>
>+			    </widget>
>+			    <packing>
>+			      <property name="padding">0</property>
>+			      <property name="expand">False</property>
>+			      <property name="fill">False</property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkLabel" id="workspace_names_label">
>+			      <property name="visible">True</property>
>+			      <property name="label" translatable="yes">Workspace na_mes:</property>
>+			      <property name="use_underline">True</property>
>+			      <property name="use_markup">False</property>
>+			      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+			      <property name="wrap">False</property>
>+			      <property name="selectable">False</property>
>+			      <property name="xalign">0</property>
>+			      <property name="yalign">0.5</property>
>+			      <property name="xpad">0</property>
>+			      <property name="ypad">0</property>
>+			      <property name="mnemonic_widget">workspaces_tree_view</property>
>+			      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+			      <property name="width_chars">-1</property>
>+			      <property name="single_line_mode">False</property>
>+			      <property name="angle">0</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="padding">0</property>
>+			      <property name="expand">False</property>
>+			      <property name="fill">False</property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkScrolledWindow" id="workspace_names_scroll">
>+			      <property name="height_request">100</property>
>+			      <property name="visible">True</property>
>+			      <property name="can_focus">True</property>
>+			      <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
>+			      <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
>+			      <property name="shadow_type">GTK_SHADOW_IN</property>
>+			      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
>+
>+			      <child>
>+				<widget class="GtkTreeView" id="workspaces_tree_view">
>+				  <property name="visible">True</property>
>+				  <property name="tooltip" translatable="yes">Workspace Names</property>
>+				  <property name="can_focus">True</property>
>+				  <property name="headers_visible">False</property>
>+				  <property name="rules_hint">False</property>
>+				  <property name="reorderable">False</property>
>+				  <property name="enable_search">True</property>
>+				  <property name="fixed_height_mode">False</property>
>+				  <property name="hover_selection">False</property>
>+				  <property name="hover_expand">False</property>
>+				</widget>
>+			      </child>
>+			    </widget>
>+			    <packing>
>+			      <property name="padding">0</property>
>+			      <property name="expand">True</property>
>+			      <property name="fill">True</property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkCheckButton" id="workspace_name_toggle">
>+			      <property name="visible">True</property>
>+			      <property name="can_focus">True</property>
>+			      <property name="label" translatable="yes">Show workspace _names in switcher</property>
>+			      <property name="use_underline">True</property>
>+			      <property name="relief">GTK_RELIEF_NORMAL</property>
>+			      <property name="focus_on_click">True</property>
>+			      <property name="active">False</property>
>+			      <property name="inconsistent">False</property>
>+			      <property name="draw_indicator">True</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="padding">0</property>
>+			      <property name="expand">False</property>
>+			      <property name="fill">False</property>
>+			    </packing>
>+			  </child>
>+			</widget>
>+		      </child>
>+		    </widget>
>+		  </child>
>+
>+		  <child>
>+		    <widget class="GtkLabel" id="label1">
>+		      <property name="visible">True</property>
>+		      <property name="label" translatable="yes">&lt;b&gt;Workspaces&lt;/b&gt;</property>
>+		      <property name="use_underline">False</property>
>+		      <property name="use_markup">True</property>
>+		      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+		      <property name="wrap">False</property>
>+		      <property name="selectable">False</property>
>+		      <property name="xalign">0.5</property>
>+		      <property name="yalign">0.5</property>
>+		      <property name="xpad">0</property>
>+		      <property name="ypad">0</property>
>+		      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+		      <property name="width_chars">-1</property>
>+		      <property name="single_line_mode">False</property>
>+		      <property name="angle">0</property>
>+		    </widget>
>+		    <packing>
>+		      <property name="type">label_item</property>
>+		    </packing>
>+		  </child>
>+		</widget>
>+		<packing>
>+		  <property name="padding">0</property>
>+		  <property name="expand">True</property>
>+		  <property name="fill">True</property>
>+		</packing>
>+	      </child>
>+	    </widget>
>+	    <packing>
>+	      <property name="tab_expand">False</property>
>+	      <property name="tab_fill">True</property>
>+	    </packing>
>+	  </child>
>+
>+	  <child>
>+	    <widget class="GtkLabel" id="label7">
>+	      <property name="visible">True</property>
>+	      <property name="label" translatable="yes">label7</property>
>+	      <property name="use_underline">False</property>
>+	      <property name="use_markup">False</property>
>+	      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+	      <property name="wrap">False</property>
>+	      <property name="selectable">False</property>
>+	      <property name="xalign">0.5</property>
>+	      <property name="yalign">0.5</property>
>+	      <property name="xpad">0</property>
>+	      <property name="ypad">0</property>
>+	      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+	      <property name="width_chars">-1</property>
>+	      <property name="single_line_mode">False</property>
>+	      <property name="angle">0</property>
>+	    </widget>
>+	    <packing>
>+	      <property name="type">tab</property>
>+	    </packing>
>+	  </child>
>+
>+	  <child>
>+	    <widget class="GtkVBox" id="viewport-child">
>+	      <property name="border_width">6</property>
>+	      <property name="visible">True</property>
>+	      <property name="homogeneous">False</property>
>+	      <property name="spacing">6</property>
>+
>+	      <child>
>+		<widget class="GtkLabel" id="label3">
>+		  <property name="visible">True</property>
>+		  <property name="label" translatable="yes">&lt;b&gt;Desktop Size&lt;/b&gt;</property>
>+		  <property name="use_underline">False</property>
>+		  <property name="use_markup">True</property>
>+		  <property name="justify">GTK_JUSTIFY_LEFT</property>
>+		  <property name="wrap">False</property>
>+		  <property name="selectable">False</property>
>+		  <property name="xalign">0</property>
>+		  <property name="yalign">0.5</property>
>+		  <property name="xpad">0</property>
>+		  <property name="ypad">0</property>
>+		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+		  <property name="width_chars">-1</property>
>+		  <property name="single_line_mode">False</property>
>+		  <property name="angle">0</property>
>+		</widget>
>+		<packing>
>+		  <property name="padding">0</property>
>+		  <property name="expand">False</property>
>+		  <property name="fill">False</property>
>+		</packing>
>+	      </child>
>+
>+	      <child>
>+		<widget class="GtkHBox" id="hbox11">
>+		  <property name="visible">True</property>
>+		  <property name="homogeneous">False</property>
>+		  <property name="spacing">0</property>
>+
>+		  <child>
>+		    <widget class="GtkLabel" id="label4">
>+		      <property name="visible">True</property>
>+		      <property name="label" translatable="yes">    </property>
>+		      <property name="use_underline">False</property>
>+		      <property name="use_markup">False</property>
>+		      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+		      <property name="wrap">False</property>
>+		      <property name="selectable">False</property>
>+		      <property name="xalign">0.5</property>
>+		      <property name="yalign">0.5</property>
>+		      <property name="xpad">0</property>
>+		      <property name="ypad">0</property>
>+		      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+		      <property name="width_chars">-1</property>
>+		      <property name="single_line_mode">False</property>
>+		      <property name="angle">0</property>
>+		    </widget>
>+		    <packing>
>+		      <property name="padding">0</property>
>+		      <property name="expand">False</property>
>+		      <property name="fill">False</property>
>+		    </packing>
>+		  </child>
>+
>+		  <child>
>+		    <widget class="GtkVBox" id="vbox7">
>+		      <property name="visible">True</property>
>+		      <property name="homogeneous">False</property>
>+		      <property name="spacing">6</property>
>+
>+		      <child>
>+			<widget class="GtkTable" id="table1">
>+			  <property name="visible">True</property>
>+			  <property name="n_rows">2</property>
>+			  <property name="n_columns">3</property>
>+			  <property name="homogeneous">False</property>
>+			  <property name="row_spacing">6</property>
>+			  <property name="column_spacing">6</property>
>+
>+			  <child>
>+			    <widget class="GtkLabel" id="label11">
>+			      <property name="visible">True</property>
>+			      <property name="label" translatable="yes">Width:</property>
>+			      <property name="use_underline">False</property>
>+			      <property name="use_markup">False</property>
>+			      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+			      <property name="wrap">False</property>
>+			      <property name="selectable">False</property>
>+			      <property name="xalign">0</property>
>+			      <property name="yalign">0.5</property>
>+			      <property name="xpad">0</property>
>+			      <property name="ypad">0</property>
>+			      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+			      <property name="width_chars">-1</property>
>+			      <property name="single_line_mode">False</property>
>+			      <property name="angle">0</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="left_attach">0</property>
>+			      <property name="right_attach">1</property>
>+			      <property name="top_attach">0</property>
>+			      <property name="bottom_attach">1</property>
>+			      <property name="x_options">fill</property>
>+			      <property name="y_options"></property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkLabel" id="label12">
>+			      <property name="visible">True</property>
>+			      <property name="label" translatable="yes">Height:</property>
>+			      <property name="use_underline">False</property>
>+			      <property name="use_markup">False</property>
>+			      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+			      <property name="wrap">False</property>
>+			      <property name="selectable">False</property>
>+			      <property name="xalign">0</property>
>+			      <property name="yalign">0.5</property>
>+			      <property name="xpad">0</property>
>+			      <property name="ypad">0</property>
>+			      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+			      <property name="width_chars">-1</property>
>+			      <property name="single_line_mode">False</property>
>+			      <property name="angle">0</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="left_attach">0</property>
>+			      <property name="right_attach">1</property>
>+			      <property name="top_attach">1</property>
>+			      <property name="bottom_attach">2</property>
>+			      <property name="x_options">fill</property>
>+			      <property name="y_options"></property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkLabel" id="label13">
>+			      <property name="visible">True</property>
>+			      <property name="label" translatable="yes">columns</property>
>+			      <property name="use_underline">False</property>
>+			      <property name="use_markup">False</property>
>+			      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+			      <property name="wrap">False</property>
>+			      <property name="selectable">False</property>
>+			      <property name="xalign">0</property>
>+			      <property name="yalign">0.5</property>
>+			      <property name="xpad">0</property>
>+			      <property name="ypad">0</property>
>+			      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+			      <property name="width_chars">-1</property>
>+			      <property name="single_line_mode">False</property>
>+			      <property name="angle">0</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="left_attach">2</property>
>+			      <property name="right_attach">3</property>
>+			      <property name="top_attach">0</property>
>+			      <property name="bottom_attach">1</property>
>+			      <property name="x_options">fill</property>
>+			      <property name="y_options"></property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkLabel" id="label14">
>+			      <property name="visible">True</property>
>+			      <property name="label" translatable="yes">rows</property>
>+			      <property name="use_underline">False</property>
>+			      <property name="use_markup">False</property>
>+			      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+			      <property name="wrap">False</property>
>+			      <property name="selectable">False</property>
>+			      <property name="xalign">0</property>
>+			      <property name="yalign">0.5</property>
>+			      <property name="xpad">0</property>
>+			      <property name="ypad">0</property>
>+			      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+			      <property name="width_chars">-1</property>
>+			      <property name="single_line_mode">False</property>
>+			      <property name="angle">0</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="left_attach">2</property>
>+			      <property name="right_attach">3</property>
>+			      <property name="top_attach">1</property>
>+			      <property name="bottom_attach">2</property>
>+			      <property name="x_options">fill</property>
>+			      <property name="y_options"></property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkSpinButton" id="width-spinbutton">
>+			      <property name="visible">True</property>
>+			      <property name="can_focus">True</property>
>+			      <property name="climb_rate">1</property>
>+			      <property name="digits">0</property>
>+			      <property name="numeric">False</property>
>+			      <property name="update_policy">GTK_UPDATE_ALWAYS</property>
>+			      <property name="snap_to_ticks">False</property>
>+			      <property name="wrap">False</property>
>+			      <property name="adjustment">1 0 100 1 10 10</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="left_attach">1</property>
>+			      <property name="right_attach">2</property>
>+			      <property name="top_attach">0</property>
>+			      <property name="bottom_attach">1</property>
>+			      <property name="x_options">fill</property>
>+			      <property name="y_options"></property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkSpinButton" id="height-spinbutton">
>+			      <property name="visible">True</property>
>+			      <property name="can_focus">True</property>
>+			      <property name="climb_rate">1</property>
>+			      <property name="digits">0</property>
>+			      <property name="numeric">False</property>
>+			      <property name="update_policy">GTK_UPDATE_ALWAYS</property>
>+			      <property name="snap_to_ticks">False</property>
>+			      <property name="wrap">False</property>
>+			      <property name="adjustment">1 0 100 1 10 10</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="left_attach">1</property>
>+			      <property name="right_attach">2</property>
>+			      <property name="top_attach">1</property>
>+			      <property name="bottom_attach">2</property>
>+			      <property name="x_options">fill</property>
>+			      <property name="y_options"></property>
>+			    </packing>
>+			  </child>
>+			</widget>
>+			<packing>
>+			  <property name="padding">0</property>
>+			  <property name="expand">False</property>
>+			  <property name="fill">False</property>
>+			</packing>
>+		      </child>
>+		    </widget>
>+		    <packing>
>+		      <property name="padding">0</property>
>+		      <property name="expand">True</property>
>+		      <property name="fill">True</property>
>+		    </packing>
>+		  </child>
>+		</widget>
>+		<packing>
>+		  <property name="padding">0</property>
>+		  <property name="expand">True</property>
>+		  <property name="fill">True</property>
>+		</packing>
>+	      </child>
>+	    </widget>
>+	    <packing>
>+	      <property name="tab_expand">False</property>
>+	      <property name="tab_fill">True</property>
>+	    </packing>
>+	  </child>
>+
>+	  <child>
>+	    <widget class="GtkLabel" id="label8">
>+	      <property name="visible">True</property>
>+	      <property name="label" translatable="yes">label8</property>
>+	      <property name="use_underline">False</property>
>+	      <property name="use_markup">False</property>
>+	      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+	      <property name="wrap">False</property>
>+	      <property name="selectable">False</property>
>+	      <property name="xalign">0.5</property>
>+	      <property name="yalign">0.5</property>
>+	      <property name="xpad">0</property>
>+	      <property name="ypad">0</property>
>+	      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+	      <property name="width_chars">-1</property>
>+	      <property name="single_line_mode">False</property>
>+	      <property name="angle">0</property>
>+	    </widget>
>+	    <packing>
>+	      <property name="type">tab</property>
>+	    </packing>
>+	  </child>
>+	</widget>
>+	<packing>
>+	  <property name="padding">0</property>
>+	  <property name="expand">True</property>
>+	  <property name="fill">True</property>
>+	</packing>
>+      </child>
>+    </widget>
>+  </child>
>+</widget>
>+
> </glade-interface>
>diff -upNr gnome-panel-2.20.1.orign/applets/wncklet/workspace-switcher.glade.bak gnome-panel-2.20.1/applets/wncklet/workspace-switcher.glade.bak
>--- gnome-panel-2.20.1.orign/applets/wncklet/workspace-switcher.glade.bak	1970-01-01 01:00:00.000000000 +0100
>+++ gnome-panel-2.20.1/applets/wncklet/workspace-switcher.glade.bak	2007-11-11 12:09:57.000000000 +0100
>@@ -0,0 +1,772 @@
>+<?xml version="1.0" standalone="no"?> 
>+<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
>+
>+<glade-interface>
>+
>+<widget class="GtkDialog" id="pager_properties_dialog">
>+  <property name="border_width">5</property>
>+  <property name="title" translatable="yes">Workspace Switcher Preferences</property>
>+  <property name="type">GTK_WINDOW_TOPLEVEL</property>
>+  <property name="window_position">GTK_WIN_POS_NONE</property>
>+  <property name="modal">False</property>
>+  <property name="resizable">True</property>
>+  <property name="destroy_with_parent">False</property>
>+  <property name="decorated">True</property>
>+  <property name="skip_taskbar_hint">False</property>
>+  <property name="skip_pager_hint">False</property>
>+  <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
>+  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
>+  <property name="focus_on_map">True</property>
>+  <property name="urgency_hint">False</property>
>+  <property name="has_separator">False</property>
>+
>+  <child internal-child="vbox">
>+    <widget class="GtkVBox" id="dialog-vbox1">
>+      <property name="visible">True</property>
>+      <property name="homogeneous">False</property>
>+      <property name="spacing">2</property>
>+
>+      <child internal-child="action_area">
>+	<widget class="GtkHButtonBox" id="dialog-action_area1">
>+	  <property name="visible">True</property>
>+	  <property name="layout_style">GTK_BUTTONBOX_END</property>
>+
>+	  <child>
>+	    <widget class="GtkButton" id="help_button">
>+	      <property name="visible">True</property>
>+	      <property name="can_default">True</property>
>+	      <property name="can_focus">True</property>
>+	      <property name="label">gtk-help</property>
>+	      <property name="use_stock">True</property>
>+	      <property name="relief">GTK_RELIEF_NORMAL</property>
>+	      <property name="focus_on_click">True</property>
>+	      <property name="response_id">-11</property>
>+	    </widget>
>+	  </child>
>+
>+	  <child>
>+	    <widget class="GtkButton" id="done_button">
>+	      <property name="visible">True</property>
>+	      <property name="can_default">True</property>
>+	      <property name="has_default">True</property>
>+	      <property name="can_focus">True</property>
>+	      <property name="label">gtk-close</property>
>+	      <property name="use_stock">True</property>
>+	      <property name="relief">GTK_RELIEF_NORMAL</property>
>+	      <property name="focus_on_click">True</property>
>+	      <property name="response_id">0</property>
>+	    </widget>
>+	  </child>
>+	</widget>
>+	<packing>
>+	  <property name="padding">0</property>
>+	  <property name="expand">False</property>
>+	  <property name="fill">True</property>
>+	  <property name="pack_type">GTK_PACK_END</property>
>+	</packing>
>+      </child>
>+
>+      <child>
>+	<widget class="GtkNotebook" id="notebook">
>+	  <property name="visible">True</property>
>+	  <property name="can_focus">True</property>
>+	  <property name="show_tabs">True</property>
>+	  <property name="show_border">True</property>
>+	  <property name="tab_pos">GTK_POS_TOP</property>
>+	  <property name="scrollable">False</property>
>+	  <property name="enable_popup">False</property>
>+
>+	  <child>
>+	    <widget class="GtkVBox" id="workspace-child">
>+	      <property name="border_width">5</property>
>+	      <property name="visible">True</property>
>+	      <property name="homogeneous">False</property>
>+	      <property name="spacing">12</property>
>+
>+	      <child>
>+		<widget class="GtkFrame" id="frame1">
>+		  <property name="visible">True</property>
>+		  <property name="label_xalign">0</property>
>+		  <property name="label_yalign">0.5</property>
>+		  <property name="shadow_type">GTK_SHADOW_NONE</property>
>+
>+		  <child>
>+		    <widget class="GtkAlignment" id="alignment2">
>+		      <property name="visible">True</property>
>+		      <property name="xalign">0.5</property>
>+		      <property name="yalign">0.5</property>
>+		      <property name="xscale">1</property>
>+		      <property name="yscale">1</property>
>+		      <property name="top_padding">0</property>
>+		      <property name="bottom_padding">0</property>
>+		      <property name="left_padding">12</property>
>+		      <property name="right_padding">0</property>
>+
>+		      <child>
>+			<widget class="GtkVBox" id="vbox5">
>+			  <property name="visible">True</property>
>+			  <property name="homogeneous">False</property>
>+			  <property name="spacing">6</property>
>+
>+			  <child>
>+			    <widget class="GtkRadioButton" id="current_only_radio">
>+			      <property name="visible">True</property>
>+			      <property name="can_focus">True</property>
>+			      <property name="label" translatable="yes">Show _only the current workspace</property>
>+			      <property name="use_underline">True</property>
>+			      <property name="relief">GTK_RELIEF_NORMAL</property>
>+			      <property name="focus_on_click">True</property>
>+			      <property name="active">False</property>
>+			      <property name="inconsistent">False</property>
>+			      <property name="draw_indicator">True</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="padding">0</property>
>+			      <property name="expand">False</property>
>+			      <property name="fill">False</property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkHBox" id="hbox9">
>+			      <property name="visible">True</property>
>+			      <property name="homogeneous">False</property>
>+			      <property name="spacing">12</property>
>+
>+			      <child>
>+				<widget class="GtkRadioButton" id="all_workspaces_radio">
>+				  <property name="visible">True</property>
>+				  <property name="can_focus">True</property>
>+				  <property name="label" translatable="yes">Show _all workspaces in:</property>
>+				  <property name="use_underline">True</property>
>+				  <property name="relief">GTK_RELIEF_NORMAL</property>
>+				  <property name="focus_on_click">True</property>
>+				  <property name="active">False</property>
>+				  <property name="inconsistent">False</property>
>+				  <property name="draw_indicator">True</property>
>+				  <property name="group">current_only_radio</property>
>+				</widget>
>+				<packing>
>+				  <property name="padding">0</property>
>+				  <property name="expand">False</property>
>+				  <property name="fill">False</property>
>+				</packing>
>+			      </child>
>+
>+			      <child>
>+				<widget class="GtkHBox" id="hbox10">
>+				  <property name="visible">True</property>
>+				  <property name="homogeneous">False</property>
>+				  <property name="spacing">6</property>
>+
>+				  <child>
>+				    <widget class="GtkSpinButton" id="num_rows_spin">
>+				      <property name="visible">True</property>
>+				      <property name="can_focus">True</property>
>+				      <property name="climb_rate">1</property>
>+				      <property name="digits">0</property>
>+				      <property name="numeric">True</property>
>+				      <property name="update_policy">GTK_UPDATE_ALWAYS</property>
>+				      <property name="snap_to_ticks">False</property>
>+				      <property name="wrap">False</property>
>+				      <property name="adjustment">1 1 16 1 10 10</property>
>+				    </widget>
>+				    <packing>
>+				      <property name="padding">0</property>
>+				      <property name="expand">True</property>
>+				      <property name="fill">True</property>
>+				    </packing>
>+				  </child>
>+
>+				  <child>
>+				    <widget class="GtkLabel" id="label_row_col">
>+				      <property name="visible">True</property>
>+				      <property name="label" translatable="yes">rows</property>
>+				      <property name="use_underline">False</property>
>+				      <property name="use_markup">False</property>
>+				      <property name="justify">GTK_JUSTIFY_CENTER</property>
>+				      <property name="wrap">False</property>
>+				      <property name="selectable">False</property>
>+				      <property name="xalign">0</property>
>+				      <property name="yalign">0.5</property>
>+				      <property name="xpad">0</property>
>+				      <property name="ypad">0</property>
>+				      <property name="mnemonic_widget">num_rows_spin</property>
>+				      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+				      <property name="width_chars">-1</property>
>+				      <property name="single_line_mode">False</property>
>+				      <property name="angle">0</property>
>+				    </widget>
>+				    <packing>
>+				      <property name="padding">0</property>
>+				      <property name="expand">False</property>
>+				      <property name="fill">False</property>
>+				    </packing>
>+				  </child>
>+				</widget>
>+				<packing>
>+				  <property name="padding">0</property>
>+				  <property name="expand">True</property>
>+				  <property name="fill">True</property>
>+				</packing>
>+			      </child>
>+			    </widget>
>+			    <packing>
>+			      <property name="padding">0</property>
>+			      <property name="expand">True</property>
>+			      <property name="fill">True</property>
>+			    </packing>
>+			  </child>
>+			</widget>
>+		      </child>
>+		    </widget>
>+		  </child>
>+
>+		  <child>
>+		    <widget class="GtkLabel" id="label2">
>+		      <property name="visible">True</property>
>+		      <property name="label" translatable="yes">&lt;b&gt;Switcher&lt;/b&gt;</property>
>+		      <property name="use_underline">False</property>
>+		      <property name="use_markup">True</property>
>+		      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+		      <property name="wrap">False</property>
>+		      <property name="selectable">False</property>
>+		      <property name="xalign">0.5</property>
>+		      <property name="yalign">0.5</property>
>+		      <property name="xpad">0</property>
>+		      <property name="ypad">0</property>
>+		      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+		      <property name="width_chars">-1</property>
>+		      <property name="single_line_mode">False</property>
>+		      <property name="angle">0</property>
>+		    </widget>
>+		    <packing>
>+		      <property name="type">label_item</property>
>+		    </packing>
>+		  </child>
>+		</widget>
>+		<packing>
>+		  <property name="padding">0</property>
>+		  <property name="expand">False</property>
>+		  <property name="fill">True</property>
>+		</packing>
>+	      </child>
>+
>+	      <child>
>+		<widget class="GtkFrame" id="workspaces_frame">
>+		  <property name="visible">True</property>
>+		  <property name="label_xalign">0</property>
>+		  <property name="label_yalign">0.5</property>
>+		  <property name="shadow_type">GTK_SHADOW_NONE</property>
>+
>+		  <child>
>+		    <widget class="GtkAlignment" id="alignment1">
>+		      <property name="visible">True</property>
>+		      <property name="xalign">0.5</property>
>+		      <property name="yalign">0.5</property>
>+		      <property name="xscale">1</property>
>+		      <property name="yscale">1</property>
>+		      <property name="top_padding">0</property>
>+		      <property name="bottom_padding">0</property>
>+		      <property name="left_padding">12</property>
>+		      <property name="right_padding">0</property>
>+
>+		      <child>
>+			<widget class="GtkVBox" id="vbox1">
>+			  <property name="visible">True</property>
>+			  <property name="homogeneous">False</property>
>+			  <property name="spacing">6</property>
>+
>+			  <child>
>+			    <widget class="GtkHBox" id="hbox4">
>+			      <property name="visible">True</property>
>+			      <property name="homogeneous">False</property>
>+			      <property name="spacing">12</property>
>+
>+			      <child>
>+				<widget class="GtkLabel" id="num_workspaces_label">
>+				  <property name="visible">True</property>
>+				  <property name="label" translatable="yes">Number of _workspaces:</property>
>+				  <property name="use_underline">True</property>
>+				  <property name="use_markup">False</property>
>+				  <property name="justify">GTK_JUSTIFY_CENTER</property>
>+				  <property name="wrap">False</property>
>+				  <property name="selectable">False</property>
>+				  <property name="xalign">0</property>
>+				  <property name="yalign">0.5</property>
>+				  <property name="xpad">0</property>
>+				  <property name="ypad">0</property>
>+				  <property name="mnemonic_widget">num_workspaces_spin</property>
>+				  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+				  <property name="width_chars">-1</property>
>+				  <property name="single_line_mode">False</property>
>+				  <property name="angle">0</property>
>+				</widget>
>+				<packing>
>+				  <property name="padding">0</property>
>+				  <property name="expand">False</property>
>+				  <property name="fill">False</property>
>+				</packing>
>+			      </child>
>+
>+			      <child>
>+				<widget class="GtkSpinButton" id="num_workspaces_spin">
>+				  <property name="visible">True</property>
>+				  <property name="can_focus">True</property>
>+				  <property name="climb_rate">1</property>
>+				  <property name="digits">0</property>
>+				  <property name="numeric">True</property>
>+				  <property name="update_policy">GTK_UPDATE_ALWAYS</property>
>+				  <property name="snap_to_ticks">False</property>
>+				  <property name="wrap">False</property>
>+				  <property name="adjustment">1 1 36 1 10 10</property>
>+				</widget>
>+				<packing>
>+				  <property name="padding">0</property>
>+				  <property name="expand">True</property>
>+				  <property name="fill">True</property>
>+				</packing>
>+			      </child>
>+			    </widget>
>+			    <packing>
>+			      <property name="padding">0</property>
>+			      <property name="expand">False</property>
>+			      <property name="fill">False</property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkLabel" id="workspace_names_label">
>+			      <property name="visible">True</property>
>+			      <property name="label" translatable="yes">Workspace na_mes:</property>
>+			      <property name="use_underline">True</property>
>+			      <property name="use_markup">False</property>
>+			      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+			      <property name="wrap">False</property>
>+			      <property name="selectable">False</property>
>+			      <property name="xalign">0</property>
>+			      <property name="yalign">0.5</property>
>+			      <property name="xpad">0</property>
>+			      <property name="ypad">0</property>
>+			      <property name="mnemonic_widget">workspaces_tree_view</property>
>+			      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+			      <property name="width_chars">-1</property>
>+			      <property name="single_line_mode">False</property>
>+			      <property name="angle">0</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="padding">0</property>
>+			      <property name="expand">False</property>
>+			      <property name="fill">False</property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkScrolledWindow" id="workspace_names_scroll">
>+			      <property name="height_request">100</property>
>+			      <property name="visible">True</property>
>+			      <property name="can_focus">True</property>
>+			      <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
>+			      <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
>+			      <property name="shadow_type">GTK_SHADOW_IN</property>
>+			      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
>+
>+			      <child>
>+				<widget class="GtkTreeView" id="workspaces_tree_view">
>+				  <property name="visible">True</property>
>+				  <property name="tooltip" translatable="yes">Workspace Names</property>
>+				  <property name="can_focus">True</property>
>+				  <property name="headers_visible">False</property>
>+				  <property name="rules_hint">False</property>
>+				  <property name="reorderable">False</property>
>+				  <property name="enable_search">True</property>
>+				  <property name="fixed_height_mode">False</property>
>+				  <property name="hover_selection">False</property>
>+				  <property name="hover_expand">False</property>
>+				</widget>
>+			      </child>
>+			    </widget>
>+			    <packing>
>+			      <property name="padding">0</property>
>+			      <property name="expand">True</property>
>+			      <property name="fill">True</property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkCheckButton" id="workspace_name_toggle">
>+			      <property name="visible">True</property>
>+			      <property name="can_focus">True</property>
>+			      <property name="label" translatable="yes">Show workspace _names in switcher</property>
>+			      <property name="use_underline">True</property>
>+			      <property name="relief">GTK_RELIEF_NORMAL</property>
>+			      <property name="focus_on_click">True</property>
>+			      <property name="active">False</property>
>+			      <property name="inconsistent">False</property>
>+			      <property name="draw_indicator">True</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="padding">0</property>
>+			      <property name="expand">False</property>
>+			      <property name="fill">False</property>
>+			    </packing>
>+			  </child>
>+			</widget>
>+		      </child>
>+		    </widget>
>+		  </child>
>+
>+		  <child>
>+		    <widget class="GtkLabel" id="label1">
>+		      <property name="visible">True</property>
>+		      <property name="label" translatable="yes">&lt;b&gt;Workspaces&lt;/b&gt;</property>
>+		      <property name="use_underline">False</property>
>+		      <property name="use_markup">True</property>
>+		      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+		      <property name="wrap">False</property>
>+		      <property name="selectable">False</property>
>+		      <property name="xalign">0.5</property>
>+		      <property name="yalign">0.5</property>
>+		      <property name="xpad">0</property>
>+		      <property name="ypad">0</property>
>+		      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+		      <property name="width_chars">-1</property>
>+		      <property name="single_line_mode">False</property>
>+		      <property name="angle">0</property>
>+		    </widget>
>+		    <packing>
>+		      <property name="type">label_item</property>
>+		    </packing>
>+		  </child>
>+		</widget>
>+		<packing>
>+		  <property name="padding">0</property>
>+		  <property name="expand">True</property>
>+		  <property name="fill">True</property>
>+		</packing>
>+	      </child>
>+	    </widget>
>+	    <packing>
>+	      <property name="tab_expand">False</property>
>+	      <property name="tab_fill">True</property>
>+	    </packing>
>+	  </child>
>+
>+	  <child>
>+	    <widget class="GtkLabel" id="label7">
>+	      <property name="visible">True</property>
>+	      <property name="label" translatable="yes">label7</property>
>+	      <property name="use_underline">False</property>
>+	      <property name="use_markup">False</property>
>+	      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+	      <property name="wrap">False</property>
>+	      <property name="selectable">False</property>
>+	      <property name="xalign">0.5</property>
>+	      <property name="yalign">0.5</property>
>+	      <property name="xpad">0</property>
>+	      <property name="ypad">0</property>
>+	      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+	      <property name="width_chars">-1</property>
>+	      <property name="single_line_mode">False</property>
>+	      <property name="angle">0</property>
>+	    </widget>
>+	    <packing>
>+	      <property name="type">tab</property>
>+	    </packing>
>+	  </child>
>+
>+	  <child>
>+	    <widget class="GtkVBox" id="viewport-child">
>+	      <property name="border_width">6</property>
>+	      <property name="visible">True</property>
>+	      <property name="homogeneous">False</property>
>+	      <property name="spacing">6</property>
>+
>+	      <child>
>+		<widget class="GtkLabel" id="label3">
>+		  <property name="visible">True</property>
>+		  <property name="label" translatable="yes">&lt;b&gt;Desktop Size&lt;/b&gt;</property>
>+		  <property name="use_underline">False</property>
>+		  <property name="use_markup">True</property>
>+		  <property name="justify">GTK_JUSTIFY_LEFT</property>
>+		  <property name="wrap">False</property>
>+		  <property name="selectable">False</property>
>+		  <property name="xalign">0</property>
>+		  <property name="yalign">0.5</property>
>+		  <property name="xpad">0</property>
>+		  <property name="ypad">0</property>
>+		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+		  <property name="width_chars">-1</property>
>+		  <property name="single_line_mode">False</property>
>+		  <property name="angle">0</property>
>+		</widget>
>+		<packing>
>+		  <property name="padding">0</property>
>+		  <property name="expand">False</property>
>+		  <property name="fill">False</property>
>+		</packing>
>+	      </child>
>+
>+	      <child>
>+		<widget class="GtkHBox" id="hbox11">
>+		  <property name="visible">True</property>
>+		  <property name="homogeneous">False</property>
>+		  <property name="spacing">0</property>
>+
>+		  <child>
>+		    <widget class="GtkLabel" id="label4">
>+		      <property name="visible">True</property>
>+		      <property name="label" translatable="yes">    </property>
>+		      <property name="use_underline">False</property>
>+		      <property name="use_markup">False</property>
>+		      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+		      <property name="wrap">False</property>
>+		      <property name="selectable">False</property>
>+		      <property name="xalign">0.5</property>
>+		      <property name="yalign">0.5</property>
>+		      <property name="xpad">0</property>
>+		      <property name="ypad">0</property>
>+		      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+		      <property name="width_chars">-1</property>
>+		      <property name="single_line_mode">False</property>
>+		      <property name="angle">0</property>
>+		    </widget>
>+		    <packing>
>+		      <property name="padding">0</property>
>+		      <property name="expand">False</property>
>+		      <property name="fill">False</property>
>+		    </packing>
>+		  </child>
>+
>+		  <child>
>+		    <widget class="GtkVBox" id="vbox7">
>+		      <property name="visible">True</property>
>+		      <property name="homogeneous">False</property>
>+		      <property name="spacing">6</property>
>+
>+		      <child>
>+			<widget class="GtkTable" id="table1">
>+			  <property name="visible">True</property>
>+			  <property name="n_rows">2</property>
>+			  <property name="n_columns">3</property>
>+			  <property name="homogeneous">False</property>
>+			  <property name="row_spacing">6</property>
>+			  <property name="column_spacing">6</property>
>+
>+			  <child>
>+			    <widget class="GtkLabel" id="label5">
>+			      <property name="visible">True</property>
>+			      <property name="label" translatable="yes">Width:</property>
>+			      <property name="use_underline">False</property>
>+			      <property name="use_markup">False</property>
>+			      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+			      <property name="wrap">False</property>
>+			      <property name="selectable">False</property>
>+			      <property name="xalign">0</property>
>+			      <property name="yalign">0.5</property>
>+			      <property name="xpad">0</property>
>+			      <property name="ypad">0</property>
>+			      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+			      <property name="width_chars">-1</property>
>+			      <property name="single_line_mode">False</property>
>+			      <property name="angle">0</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="left_attach">0</property>
>+			      <property name="right_attach">1</property>
>+			      <property name="top_attach">0</property>
>+			      <property name="bottom_attach">1</property>
>+			      <property name="x_options">fill</property>
>+			      <property name="y_options"></property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkLabel" id="label6">
>+			      <property name="visible">True</property>
>+			      <property name="label" translatable="yes">Height:</property>
>+			      <property name="use_underline">False</property>
>+			      <property name="use_markup">False</property>
>+			      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+			      <property name="wrap">False</property>
>+			      <property name="selectable">False</property>
>+			      <property name="xalign">0</property>
>+			      <property name="yalign">0.5</property>
>+			      <property name="xpad">0</property>
>+			      <property name="ypad">0</property>
>+			      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+			      <property name="width_chars">-1</property>
>+			      <property name="single_line_mode">False</property>
>+			      <property name="angle">0</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="left_attach">0</property>
>+			      <property name="right_attach">1</property>
>+			      <property name="top_attach">1</property>
>+			      <property name="bottom_attach">2</property>
>+			      <property name="x_options">fill</property>
>+			      <property name="y_options"></property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkLabel" id="label7">
>+			      <property name="visible">True</property>
>+			      <property name="label" translatable="yes">columns</property>
>+			      <property name="use_underline">False</property>
>+			      <property name="use_markup">False</property>
>+			      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+			      <property name="wrap">False</property>
>+			      <property name="selectable">False</property>
>+			      <property name="xalign">0</property>
>+			      <property name="yalign">0.5</property>
>+			      <property name="xpad">0</property>
>+			      <property name="ypad">0</property>
>+			      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+			      <property name="width_chars">-1</property>
>+			      <property name="single_line_mode">False</property>
>+			      <property name="angle">0</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="left_attach">2</property>
>+			      <property name="right_attach">3</property>
>+			      <property name="top_attach">0</property>
>+			      <property name="bottom_attach">1</property>
>+			      <property name="x_options">fill</property>
>+			      <property name="y_options"></property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkLabel" id="label8">
>+			      <property name="visible">True</property>
>+			      <property name="label" translatable="yes">rows</property>
>+			      <property name="use_underline">False</property>
>+			      <property name="use_markup">False</property>
>+			      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+			      <property name="wrap">False</property>
>+			      <property name="selectable">False</property>
>+			      <property name="xalign">0</property>
>+			      <property name="yalign">0.5</property>
>+			      <property name="xpad">0</property>
>+			      <property name="ypad">0</property>
>+			      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+			      <property name="width_chars">-1</property>
>+			      <property name="single_line_mode">False</property>
>+			      <property name="angle">0</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="left_attach">2</property>
>+			      <property name="right_attach">3</property>
>+			      <property name="top_attach">1</property>
>+			      <property name="bottom_attach">2</property>
>+			      <property name="x_options">fill</property>
>+			      <property name="y_options"></property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkSpinButton" id="spinbutton1">
>+			      <property name="visible">True</property>
>+			      <property name="can_focus">True</property>
>+			      <property name="climb_rate">1</property>
>+			      <property name="digits">0</property>
>+			      <property name="numeric">False</property>
>+			      <property name="update_policy">GTK_UPDATE_ALWAYS</property>
>+			      <property name="snap_to_ticks">False</property>
>+			      <property name="wrap">False</property>
>+			      <property name="adjustment">1 0 100 1 10 10</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="left_attach">1</property>
>+			      <property name="right_attach">2</property>
>+			      <property name="top_attach">0</property>
>+			      <property name="bottom_attach">1</property>
>+			      <property name="x_options">fill</property>
>+			      <property name="y_options"></property>
>+			    </packing>
>+			  </child>
>+
>+			  <child>
>+			    <widget class="GtkSpinButton" id="spinbutton2">
>+			      <property name="visible">True</property>
>+			      <property name="can_focus">True</property>
>+			      <property name="climb_rate">1</property>
>+			      <property name="digits">0</property>
>+			      <property name="numeric">False</property>
>+			      <property name="update_policy">GTK_UPDATE_ALWAYS</property>
>+			      <property name="snap_to_ticks">False</property>
>+			      <property name="wrap">False</property>
>+			      <property name="adjustment">1 0 100 1 10 10</property>
>+			    </widget>
>+			    <packing>
>+			      <property name="left_attach">1</property>
>+			      <property name="right_attach">2</property>
>+			      <property name="top_attach">1</property>
>+			      <property name="bottom_attach">2</property>
>+			      <property name="x_options">fill</property>
>+			      <property name="y_options"></property>
>+			    </packing>
>+			  </child>
>+			</widget>
>+			<packing>
>+			  <property name="padding">0</property>
>+			  <property name="expand">False</property>
>+			  <property name="fill">False</property>
>+			</packing>
>+		      </child>
>+		    </widget>
>+		    <packing>
>+		      <property name="padding">0</property>
>+		      <property name="expand">True</property>
>+		      <property name="fill">True</property>
>+		    </packing>
>+		  </child>
>+		</widget>
>+		<packing>
>+		  <property name="padding">0</property>
>+		  <property name="expand">True</property>
>+		  <property name="fill">True</property>
>+		</packing>
>+	      </child>
>+	    </widget>
>+	    <packing>
>+	      <property name="tab_expand">False</property>
>+	      <property name="tab_fill">True</property>
>+	    </packing>
>+	  </child>
>+
>+	  <child>
>+	    <widget class="GtkLabel" id="label8">
>+	      <property name="visible">True</property>
>+	      <property name="label" translatable="yes">label8</property>
>+	      <property name="use_underline">False</property>
>+	      <property name="use_markup">False</property>
>+	      <property name="justify">GTK_JUSTIFY_LEFT</property>
>+	      <property name="wrap">False</property>
>+	      <property name="selectable">False</property>
>+	      <property name="xalign">0.5</property>
>+	      <property name="yalign">0.5</property>
>+	      <property name="xpad">0</property>
>+	      <property name="ypad">0</property>
>+	      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
>+	      <property name="width_chars">-1</property>
>+	      <property name="single_line_mode">False</property>
>+	      <property name="angle">0</property>
>+	    </widget>
>+	    <packing>
>+	      <property name="type">tab</property>
>+	    </packing>
>+	  </child>
>+	</widget>
>+	<packing>
>+	  <property name="padding">0</property>
>+	  <property name="expand">True</property>
>+	  <property name="fill">True</property>
>+	</packing>
>+      </child>
>+    </widget>
>+  </child>
>+</widget>
>+
>+</glade-interface>

Actions: View | Diff

Attachments on bug 375691: 254401 | 254411