diff LICENSE @ 36069:6bed8c7aaf8f

Remove gtkEventHandling(). GUI_HANDLE_X_EVENT should only handle X events. GTK events will already be handled in GUI_HANDLE_EVENTS.
author ib
date Fri, 05 Apr 2013 12:36:36 +0000
parents dd7f15a3fb1b
children
line wrap: on
line diff