> I've got some fairly big changes for the gnome frontend coming soon, > but for now this change will do. > > I've attached the full patch, including ChangeLog
Thanks, applied. BTW, could you check whether it is really necessary to add all those gnome checks _before_ we select compiler in configure.in? I am thinking about the code around line 67 of confgure.in: case "$lyx_use_frontend" in gnome) GNOME_INIT GNOME_COMPILE_WARNINGS GNOME_X_CHECKS esac JMarc