Am Freitag, 2. März 2007 23:40 schrieb Bernhard Roider:
> The rule for using the lexer:
>
> if you want to know if the lexer still has data to read (either from the
stream or from the pushed
> token) then use "lex.isOK()".
> If you want to test if the last reading operation was successful then use
eg. "if (lex) {...}" or
> unsuccessful then use eg. "if (!lex) {...}"
If these rules are correct then the whole changeset
http://www.lyx.org/trac/changeset/17284 (including the ERT fix) is wrong,
so the ERT bug needs to be fixed differently.
Georg
