> 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

Reply via email to