diff Changelog @ 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 134919b73b04
children 8079c886ae74
line wrap: on
line diff