diff tools/animation_generator.py @ 673:32539411bf0d

fixed a minor bug in the editor when trying to switch to INSERTING mode using the keyboard shortcut.
author vtchill@33b003aa-7bff-0310-803a-e67f0ece8222
date Tue, 09 Nov 2010 12:31:40 +0000
parents 81641655bc38
children
line wrap: on
line diff