~ubuntu-branches/ubuntu/gutsy/gnome-panel/gutsy

« back to all changes in this revision

Viewing changes to debian/patches/16_more_compiz_awareness_for_workspace_switcher.patch

  • Committer: Bazaar Package Importer
  • Author(s): Mirco Müller
  • Date: 2007-10-09 10:18:25 UTC
  • Revision ID: james.westby@ubuntu.com-20071009101825-31plaecr9ls4a8hp
Tags: 1:2.20.0.1-0ubuntu6
fixed visibility-property of viewports_frame in workspace-switcher.glade
to be False, thus it is no rendered if user is running metacity

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
diff -Nur gnome-panel-2.20.0.1/applets/wncklet/workspace-switcher.c gnome-panel-2.20.0.1.new/applets/wncklet/workspace-switcher.c
2
 
--- gnome-panel-2.20.0.1/applets/wncklet/workspace-switcher.c   2007-10-03 15:27:20.000000000 +0200
3
 
+++ gnome-panel-2.20.0.1.new/applets/wncklet/workspace-switcher.c       2007-10-03 15:27:23.000000000 +0200
 
1
--- gnome-panel-2.20.0.1/applets/wncklet/workspace-switcher.c   2007-10-09 11:51:13.000000000 +0200
 
2
+++ gnome-panel-2.20.0.1.new/applets/wncklet/workspace-switcher.c       2007-10-09 11:51:14.000000000 +0200
4
3
@@ -35,6 +35,10 @@
5
4
 #define MAX_REASONABLE_ROWS 16
6
5
 #define DEFAULT_ROWS 1
413
412
 
414
413
                g_object_add_weak_pointer (G_OBJECT (pager->properties_dialog), 
415
414
                                           (gpointer *) &pager->properties_dialog);
416
 
diff -Nur gnome-panel-2.20.0.1/applets/wncklet/workspace-switcher.glade gnome-panel-2.20.0.1.new/applets/wncklet/workspace-switcher.glade
417
415
--- gnome-panel-2.20.0.1/applets/wncklet/workspace-switcher.glade       2007-09-18 15:56:52.000000000 +0200
418
 
+++ gnome-panel-2.20.0.1.new/applets/wncklet/workspace-switcher.glade   2007-10-03 15:27:23.000000000 +0200
 
416
+++ gnome-panel-2.20.0.1.new/applets/wncklet/workspace-switcher.glade   2007-10-09 11:51:51.000000000 +0200
419
417
@@ -17,7 +17,7 @@
420
418
             <property name="border_width">5</property>
421
419
             <property name="spacing">12</property>
425
423
                 <property name="visible">True</property>
426
424
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
427
425
                 <property name="label_xalign">0</property>
428
 
@@ -242,6 +242,116 @@
 
426
@@ -242,6 +242,117 @@
429
427
                 <property name="position">1</property>
430
428
               </packing>
431
429
             </child>
432
430
+            <child>
433
431
+              <widget class="GtkFrame" id="viewports_frame">
434
 
+                <property name="visible">True</property>
 
432
+                <property name="no_show_all">True</property>
 
433
+                <property name="visible">False</property>
435
434
+                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
436
435
+                <property name="label_xalign">0</property>
437
436
+                <property name="shadow_type">GTK_SHADOW_NONE</property>
542
541
           </widget>
543
542
           <packing>
544
543
             <property name="position">1</property>
545
 
diff -Nur gnome-panel-2.20.0.1/gnome-panel/main.c gnome-panel-2.20.0.1.new/gnome-panel/main.c
546
544
--- gnome-panel-2.20.0.1/gnome-panel/main.c     2007-09-18 15:56:51.000000000 +0200
547
 
+++ gnome-panel-2.20.0.1.new/gnome-panel/main.c 2007-10-03 15:27:23.000000000 +0200
 
545
+++ gnome-panel-2.20.0.1.new/gnome-panel/main.c 2007-10-09 11:51:14.000000000 +0200
548
546
@@ -81,6 +81,11 @@
549
547
                              GCONF_CLIENT_PRELOAD_NONE,
550
548
                              NULL);