-
Carlos Garnacho authored
Just in case they are poked while no touch interface is available; https://bugzilla.gnome.org/show_bug.cgi?id=733631
baadb75a
Just in case they are poked while no touch interface is available; https://bugzilla.gnome.org/show_bug.cgi?id=733631