- if (lex.isOK()) {
- lex.next();
- string token = lex.getString();
- if (token == "placement") {
- lex.next();
- placement = lex.getString();
- } else {
- // take countermeasures
- lex.pushToken(token);
- }
- lex.next();
- token = lex.getString();
- if (token == "wide") {
- lex.next();
- string const tmptoken = lex.getString();
- wide = (tmptoken == "true");
- } else {
- lyxerr << "InsetFloat::Read:: Missing wide!"
- << endl;
- // take countermeasures
- lex.pushToken(token);
- }
- lex.next();
- token = lex.getString();
- if (token == "sideways") {
- lex.next();
- string const tmptoken = lex.getString();
- sideways = (tmptoken == "true");
- } else {
- lyxerr << "InsetFloat::Read:: Missing sideways!"
- << endl;
- // take countermeasures
- lex.pushToken(token);
- }
+ string token;
+ lex >> token;
+ if (token == "placement") {
+ lex >> placement;
+ } else {
+ // take countermeasures
+ lex.pushToken(token);
+ }
+ lex >> token;
+ if (token == "wide") {
+ lex >> wide;
+ } else {
+ lyxerr << "InsetFloat::Read:: Missing wide!"
+ << endl;
+ // take countermeasures
+ lex.pushToken(token);
+ }
+ lex >> token;
+ if (token == "sideways") {
+ lex >> sideways;
+ } else {
+ lyxerr << "InsetFloat::Read:: Missing sideways!"
+ << endl;
+ // take countermeasures
+ lex.pushToken(token);