On Thursday 13 June 2002 21:10, you wrote: > I tested it with two large projects including gideon itself, it now seems > to work. Looks good. A minor point: I think now you're using two different defaults for the mode in the widget itself and in the options widget. Bernd.