On Sat, Mar 03, 2007 at 08:05:21PM +0100, Alexander Sack <[EMAIL PROTECTED]> wrote: > the embed plugin patch? > > Andreas, can you please > > I. try if disabling: > > 35_xembed_crash.dpatch > > helps > > > II ... if so, please try if (reanabling that patch, but) removing line: > > gtk_widget_set_parent_window(mGtkSocket, NULL); > > helps. > > > III. if still not, please try to replace > > gtk_widget_destroy(mGtkSocket); > > by > > gtk_container_remove(container, mGtkSocket);
None of these do the trick :( Mike -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
