jyapayne/JGUI
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Added ability to resize windows from all sides and corners.

Browse source
This commit is contained in:
Joey Payne 2014-01-31 22:37:08 -07:00
commit 22e86812e8
3 changed files with 145 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

2
jgui/events/events.py
View file

@ -35,7 +35,7 @@ class WindowEventSource(EventSource):
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', 'focus-lost']
window_events = ['resize', 'move', 'focus', 'focus-lost', 'resize-start', 'resize-end']
key_events = ['key-down', 'key-up', 'key-repeat']
types = mouse_events + mouse_wheel_events + mouse_button_events +\
window_events + key_events