+void Widget::touch_press(int x, int y, unsigned finger)
+{
+ if(finger==0)
+ button_press(x, y, 1);
+}
+
+void Widget::touch_release(int x, int y, unsigned finger)
+{
+ if(finger==0)
+ button_release(x, y, 1);
+}
+
+void Widget::touch_motion(int x, int y, unsigned finger)
+{
+ if(finger==0)
+ pointer_motion(x, y);
+}
+