diff clients/editor/run.py @ 50:9d0a21184c13

fix for editor, gui event consumption was not checked properly
author jasoka@33b003aa-7bff-0310-803a-e67f0ece8222
date Sun, 13 Jul 2008 13:14:04 +0000
parents 4a0efb7baf70
children d5658e6c34f5
line wrap: on
line diff