Advertisement
Guest User

Untitled

a guest
Mar 18th, 2017
83
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.34 KB | None | 0 0
  1. @@ -2422,7 +2422,7 @@
  2. gdk_device_get_source (device) == GDK_SOURCE_TOUCHSCREEN;
  3.  
  4. get_selection_modifiers (widget, event, &modify, &extend);
  5. - if (!is_touchscreen &&
  6. + if (FALSE && !is_touchscreen &&
  7. !modify && !extend &&
  8. event->type == GDK_BUTTON_PRESS &&
  9. event->button == GDK_BUTTON_PRIMARY &&
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement