Added ability to drag windows.

This commit is contained in:
Joey Payne 2014-01-29 15:51:36 -07:00
commit 4cea15f4f1
3 changed files with 129 additions and 46 deletions

View file

@ -28,10 +28,14 @@ class EventSource(object):
self.events[event].remove(callback)
class WindowEventSource(EventSource):
types = ['mouse-enter', 'mouse-leave',
'resize', 'move',
'key-repeat', 'key-down', 'key-up',
'mouse-right', 'mouse-right-up',
'mouse-left', 'mouse-left-up',
'mouse-middle', 'mouse-middle-up',
'scroll-up', 'scroll-down', 'drag']
mouse_events = ['mouse-enter', 'mouse-leave', 'drag', 'mouse-move', 'hover']
mouse_wheel_events = ['scroll-up', 'scroll-down']
mouse_button_down_events = ['mouse-right', 'mouse-left', 'mouse-middle']
mouse_button_drag_events = ['mouse-right-drag', 'mouse-left-drag', 'mouse-middle-drag']
mouse_button_up_events = ['mouse-right-up', 'mouse-left-up',
'mouse-middle-up']
mouse_button_events = mouse_button_down_events + mouse_button_up_events + mouse_button_drag_events
window_events = ['resize', 'move', 'focus']
key_events = ['key-down', 'key-up', 'key-repeat']
types = mouse_events + mouse_wheel_events + mouse_button_events +\
window_events + key_events