5 Commits (bba67ff4a8a6cc79d1a9fbb4f443e9321c24e6c1)

Author SHA1 Message Date
Eike Hein 00e2528ae1 Make setting min/max panel length shift the opposite max/min bounds as needed. 12 years ago
Eike Hein 8ee965ee87 Expose min/max length panel properties to desktop scripting. 12 years ago
Marco Martin 2ee75c4964 reenable panel hiding code 12 years ago
Marco Martin 9ebaa06c71 fix length and height controls 12 years ago