diff tools/editor/settings-dist.xml @ 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 b2feacaed53c
children 6e53cc43402e
line wrap: on
line diff