On Fri, 12 Apr 2013 at 1:42:33 +0200, [email protected] wrote: > From: Daniel Déchelotte <[email protected]> > > The options are ClipAutoraiseDelay, ClipAutolowerDelay, ClipAutoexpandDelay, > ClipAutocollapseDelay > > The default values are weird but merely represent the previously > hard-coded ones. They are repeated in Defaults/WindowMaker to avoid a > WPrefs crash (but it's a good idea to make them "visible", too) > > WPrefs change coming up
WPrefs still crashes here. -- To unsubscribe, send mail to [email protected].
