you remember if you used the gnome theme manager when (or some relative short time before) it crashed?
-- Crash gtk_style_ref https://launchpad.net/bugs/75155 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
