diff pyink/extensions.py @ 1479:92a8497d0361

Make FSM editor scrollable
author Thinker K.F. Li <thinker@codemud.net>
date Wed, 27 Apr 2011 15:41:47 +0800
parents 2d56ed5b0995
children
line wrap: on
line diff