[EMAIL PROTECTED] (Lars Gullik Bjønnes) writes: | | Index: src/frontends/gtk/GView.h | | =================================================================== | | --- src/frontends/gtk/GView.h (revision 14120) | | +++ src/frontends/gtk/GView.h (working copy) | | @@ -12,9 +12,12 @@ | | #ifndef GVIEW_H | | #define GVIEW_H | | | | -#include "frontends/LyXView.h" | | #include "bufferview_funcs.h" | | | | +#include "frontends/LyXView.h" | | + | | +#include "TheGui.h" | | This "TheGui" thing sounds/looks strange. what is it? Can it get a | more descriptive name?
Well... I am discussing this... -- Lgb