widget_set_cursor(widget, GDK_FLEUR);
}
- if (bevent->state & GDK_SHIFT_MASK)
+ if (bevent->state & GDK_CONTROL_MASK)
{
accel = PR_PAN_SHIFT_MULTIPLIER;
}
if (pr->drag_moved < PR_DRAG_SCROLL_THRESHHOLD)
{
- if (bevent->button == MOUSE_BUTTON_LEFT && (bevent->state & GDK_SHIFT_MASK))
+ if (bevent->button == MOUSE_BUTTON_LEFT && (bevent->state & GDK_CONTROL_MASK))
{
pr_scroller_start(pr, bevent->x, bevent->y);
}