window_box (w, TEXT_AREA, &text_area_x, &text_area_y,
&text_area_width, &text_area_height);
- clip_top = max (0, text_area_y - y);
- clip_bottom = max (clip_top,
- min (XXWIDGET (view->model)->height,
- text_area_y + text_area_height - y));
-
view->y = y;
+
+ clip_top = 0;
+ clip_bottom = window_height;
+
+ if (y < text_area_y)
+ clip_top = text_area_y - y;
+
+ if ((y + clip_top + window_height)
+ > (text_area_y + text_area_height))
+ {
+ clip_bottom -= (y + clip_top + window_height)
+ - (text_area_y + text_area_height);
+ }
+
view->clip_top = clip_top;
view->clip_bottom = clip_bottom;
/* This means the view has moved offscreen. Unmap
it and hide it here. */
- if ((view->clip_top - view->clip_bottom) <= 0)
+ if ((view->clip_bottom - view->clip_top) <= 0)
{
view->hidden = true;
XUnmapWindow (dpy, child);
XMoveResizeWindow (dpy, child, view->x + view->clip_left,
view->y + view->clip_top,
view->clip_right - view->clip_left,
- view->clip_top - view->clip_bottom);
+ view->clip_bottom - view->clip_top);
XFlush (dpy);
}
}
GtkWidget *target = find_widget_at_pos (model->widgetwindow_osr,
(event->type == MotionNotify
? event->xmotion.x + view->clip_left
- : event->xmotion.y + view->clip_top),
+ : event->xcrossing.x + view->clip_left),
(event->type == MotionNotify
- ? event->xmotion.y + view->clip_left
+ ? event->xmotion.y + view->clip_top
: event->xcrossing.y + view->clip_top),
&x, &y);
cairo_save (xw->cr_context);
if (surface)
{
- cairo_set_source_surface (xw->cr_context, surface, xw->clip_left,
- xw->clip_top);
+ cairo_translate (xw->cr_context, -xw->clip_left, -xw->clip_top);
+ cairo_set_source_surface (xw->cr_context, surface, 0, 0);
cairo_set_operator (xw->cr_context, CAIRO_OPERATOR_SOURCE);
cairo_paint (xw->cr_context);
}