blob: 7de65e2abfc45f599683101c007f55a4b2c80c2b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- gnome-panel/panel-toplevel.c.orig Thu Aug 7 13:11:03 2003
+++ gnome-panel/panel-toplevel.c Thu Aug 7 13:11:14 2003
@@ -1234,7 +1234,7 @@
PanelOrientation orientation;
GdkScreen *screen;
gboolean topmost, bottommost, leftmost, rightmost;
- gboolean geometry_changed = FALSE;;
+ gboolean geometry_changed = FALSE;
int strut, strut_start, strut_end;
int x, y, width, height;
int monitor_x, monitor_y;
|