GTK/Gnome frontend elementary support

2000-07-14 Thread Marko Vendelin
Hi! the attached patch together with additional files included into the .tar.gz archive adds elementary support for GTK/Gnome frontend: configure scripts, Gtk/Gnome initialization, Gnome event loop processing, and Copyright dialog box implementation. It should be easy to use this code on the

Re: LyX versus window manager

2000-07-14 Thread R. Lahaye
Angus Leeming wrote: I think Rob Lahaye deserves a prize for persistence! He has managed to successfully isolate a bug that is triggered by resizing an xforms dialog when the window manager is set up to show the window's properties while resizing. Thank you. Well, I'll probably go for the

Re: LyX versus window manager

2000-07-14 Thread Angus Leeming
Rob I think Rob Lahaye deserves a prize for persistence! He has managed to Rob successfully isolate a bug that is triggered by resizing an xforms dialog when Rob the window manager is set up to show the window's properties while resizing. Rob Thank you. Well, I'll probably go for the gold

GTK/Gnome frontend elementary support

2000-07-14 Thread Marko Vendelin
Hi! the attached patch together with additional files included into the .tar.gz archive adds elementary support for GTK/Gnome frontend: configure scripts, Gtk/Gnome initialization, Gnome event loop processing, and Copyright dialog box implementation. It should be easy to use this code on the

Re: LyX versus window manager

2000-07-14 Thread R. Lahaye
Angus Leeming wrote: > I think Rob Lahaye deserves a prize for persistence! He has managed to > successfully isolate a bug that is triggered by resizing an xforms dialog when > the window manager is set up to show the window's properties while resizing. Thank you. Well, I'll probably go for the

Re: LyX versus window manager

2000-07-14 Thread Angus Leeming
Rob> > I think Rob Lahaye deserves a prize for persistence! He has managed to Rob> > successfully isolate a bug that is triggered by resizing an xforms dialog when Rob> > the window manager is set up to show the window's properties while resizing. Rob> Thank you. Well, I'll probably go for the