diff tools/area_editor.py @ 336:1d487646a4d4

Better key handling, form change delay.
author Jeremy Thurgood <firxen@gmail.com>
date Fri, 06 Sep 2013 12:22:02 +0200
parents 6e32494b9f9e
children 9589e1db4433
line wrap: on
line diff