File fix_gui_artefacts.diff of Package sweep
--- src/time_ruler.c.orig 2008-04-11 14:58:24.000000000 +0200
+++ src/time_ruler.c 2014-10-25 23:55:26.139207604 +0200
@@ -104,7 +104,6 @@
widget_class->motion_notify_event = time_ruler_motion_notify;
ruler_class->draw_ticks = time_ruler_draw_ticks;
- ruler_class->draw_pos = time_ruler_draw_pos;
}
static gfloat ruler_scale[MAXIMUM_SCALES] =
@@ -318,65 +317,6 @@
}
}
-static void
-time_ruler_draw_pos (GtkRuler *ruler)
-{
- GtkWidget *widget;
- GdkGC *gc;
- int i;
- gint x, y;
- gint width, height;
- gint bs_width, bs_height;
- gint xthickness;
- gint ythickness;
- gfloat increment;
-
- g_return_if_fail (ruler != NULL);
- g_return_if_fail (GTK_IS_TIME_RULER (ruler));
-
- if (GTK_WIDGET_DRAWABLE (ruler))
- {
- widget = GTK_WIDGET (ruler);
-
- gc = widget->style->fg_gc[GTK_STATE_NORMAL];
- xthickness = widget->style->xthickness;
- ythickness = widget->style->ythickness;
- width = widget->allocation.width;
- height = widget->allocation.height - ythickness * 2;
-
- bs_width = height / 2;
- bs_width |= 1; /* make sure it's odd */
- bs_height = bs_width / 2 + 1;
-
- if ((bs_width > 0) && (bs_height > 0))
- {
- /* If a backing store exists, restore the ruler */
- if (ruler->backing_store && ruler->non_gr_exp_gc)
- gdk_draw_drawable (ruler->widget.window,
- ruler->non_gr_exp_gc,
- ruler->backing_store,
- ruler->xsrc, ruler->ysrc,
- ruler->xsrc, ruler->ysrc,
- bs_width, bs_height);
-
- increment = (gfloat) width / (ruler->upper - ruler->lower);
-
- x = ROUND ((ruler->position - ruler->lower) * increment) +
- (xthickness - bs_width) / 2 - 1;
- y = (height + bs_height) / 2 + ythickness;
-
- for (i = 0; i < bs_height; i++)
- gdk_draw_line (widget->window, gc,
- x + i, y + i,
- x + bs_width - 1 - i, y + i);
-
-
- ruler->xsrc = x;
- ruler->ysrc = y;
- }
- }
-}
-
void
time_ruler_set_format (TimeRuler * time_ruler, sw_format * f)
{