diff tools/editor/scripts/editor.py @ 615:6f3f5686a56e

Fixed a small bug where the widgets were not being updated with new data when the default settings were loaded.
author prock@33b003aa-7bff-0310-803a-e67f0ece8222
date Mon, 27 Sep 2010 14:22:07 +0000
parents 5e04f6349894
children e8a799239384
line wrap: on
line diff