gnome-settings-daemon r719 - in trunk: . plugins/media-keys



Author: jensg
Date: Sun Feb 15 18:16:02 2009
New Revision: 719
URL: http://svn.gnome.org/viewvc/gnome-settings-daemon?rev=719&view=rev

Log:
2009-02-15  Jens Granseuer  <jensgr gmx net>

	Patch by: Leo Iannacone <leo iannacone gmail com>

	* plugins/media-keys/gsd-media-keys-window.c: (on_expose_event): fix
	alignment of the composited media window (bug #567249)


Modified:
   trunk/ChangeLog
   trunk/plugins/media-keys/gsd-media-keys-window.c

Modified: trunk/plugins/media-keys/gsd-media-keys-window.c
==============================================================================
--- trunk/plugins/media-keys/gsd-media-keys-window.c	(original)
+++ trunk/plugins/media-keys/gsd-media-keys-window.c	Sun Feb 15 18:16:02 2009
@@ -807,7 +807,7 @@
         cairo_paint (cr);
 
         /* draw a box */
-        curved_rectangle (cr, 0, 0, width, height, height / 10);
+        curved_rectangle (cr, 0.5, 0.5, width-1, height-1, height / 10);
         color = GTK_WIDGET (window)->style->bg [GTK_STATE_NORMAL];
         r = (float)color.red / 65535.0;
         g = (float)color.green / 65535.0;



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]