diff tools/editor/plugins/ObjectEdit.py @ 610:3087215c9ca1

Added the marker_length property to the slider widget. This allows you to set the length of the value marker in the slider.
author prock@33b003aa-7bff-0310-803a-e67f0ece8222
date Tue, 21 Sep 2010 19:00:51 +0000
parents a2024b994ca3
children 4f36c890b1dd
line wrap: on
line diff