Bug#403801: gdm-themes: Industrial-Theme breaks gdmflexiserver

[Stephan Windmüller]

On Mon, 22. Jan 2007, Josselin Mouette wrote:

> > After selecting the theme "Industrial", gdmflexiserver does not work
> > anymore. This happens on two different machines.
> I'm not sure it is caused by that, but to could you please try the
> following change to /usr/share/gdm/themes/industrial/industrial.xml ?

Yes, that fixed the problem!

Regards
 Stephan