Fix zooming with mouse wheel
This commit is contained in:
parent
fb6f89fb5c
commit
a7f869b707
|
@ -558,7 +558,7 @@ ld_diagram_view_init (LdDiagramView *self)
|
||||||
gtk_widget_add_events (GTK_WIDGET (self),
|
gtk_widget_add_events (GTK_WIDGET (self),
|
||||||
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK
|
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK
|
||||||
| GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
|
| GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
|
||||||
| GDK_LEAVE_NOTIFY_MASK);
|
| GDK_SCROLL_MASK | GDK_LEAVE_NOTIFY_MASK);
|
||||||
|
|
||||||
gtk_drag_dest_set (GTK_WIDGET (self), 0, &target, 1, GDK_ACTION_COPY);
|
gtk_drag_dest_set (GTK_WIDGET (self), 0, &target, 1, GDK_ACTION_COPY);
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue