March 25, 2010
12:29 p.m.
11296 ----- Issue 2208: Preferences setting * range setting: bad widget height in the SettingBrowser * improve TimeProfiler (MorphTreeMorph example) * remove resurrected Preferences references