1. 2003-10-11 Re: MDI UI modes - switching problem & a crash kdevelop-de F 2. 2003-10-11 Re: MDI UI modes - switching problem & a crash kdevelop-de F 3. 2003-10-10 Re: MDI UI modes - switching problem & a crash kdevelop-de Bernd Pol