Package: revelation
Version: 0.4.11-3
Severity: minor
Tags: patch
User: [EMAIL PROTECTED]
Usertags: origin-ubuntu jaunty ubuntu-patch
Hi,
In https://bugs.edge.launchpad.net/bugs/284846 "joenix"
provided a patch to make the applet handle changes in the
panel background, so that it can support things like a transparent
panel better.
Please consider applying the patch.
Thanks,
James
diff -u revelation-0.4.11/debian/patches/00list revelation-0.4.11/debian/patches/00list
--- revelation-0.4.11/debian/patches/00list
+++ revelation-0.4.11/debian/patches/00list
@@ -6,0 +7 @@
+70_transparency.dpatch
only in patch2:
unchanged:
--- revelation-0.4.11.orig/debian/patches/70_transparency.dpatch
+++ revelation-0.4.11/debian/patches/70_transparency.dpatch
@@ -0,0 +1,51 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 70_transparency.dpatch by <[EMAIL PROTECTED]>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Handle changes to the panel background. Makes the applet support
+## DP: transparency.
+
[EMAIL PROTECTED]@
+
+--- revelation-0.4.11/src/revelation-applet.in 2007-01-16 11:34:57.000000000 +0100
++++ revelation-0.4.11.transparent/src/revelation-applet.in 2008-10-17 10:48:48.000000000 +0200
+@@ -186,6 +186,9 @@
+
+ self.hbox = ui.HBox(self.eventbox, self.entry)
+ self.applet.add(self.hbox)
++
++ # handle Gnome Panel background
++ self.applet.connect("change-background",self.panel_bg)
+
+ self.applet.show_all()
+
+@@ -322,6 +325,29 @@
+ else:
+ self.entry_show(data)
+
++ # Handle Gnome Panel background
++ def panel_bg(self, applet, bg_type, color, pixmap):
++ # Reset styles
++ rc_style = gtk.RcStyle()
++ self.applet.set_style(None)
++ self.eventbox.set_style(None)
++ self.entry.set_style(None)
++
++ self.applet.modify_style(rc_style)
++ self.eventbox.modify_style(rc_style)
++ self.entry.modify_style(rc_style)
++
++ if bg_type == gnomeapplet.PIXMAP_BACKGROUND:
++ style = self.applet.get_style()
++ style.bg_pixmap[gtk.STATE_NORMAL] = pixmap
++ self.applet.set_style(style)
++ self.eventbox.set_style(style)
++ self.entry.set_style(style)
++ if bg_type == gnomeapplet.COLOR_BACKGROUND:
++ self.applet.modify_bg(gtk.STATE_NORMAL, color)
++ self.eventbox.modify_bg(gtk.STATE_NORMAL, color)
++ self.entry.modify_bg(gtk.STATE_NORMAL, color)
++
+
+
+ ##### PRIVATE METHODS #####
