+ } else if (token == "\\paragraph_spacing") {
+ lex.next();
+ string tmp = strip(lex.GetString());
+ if (tmp == "single") {
+ par->spacing.set(Spacing::Single);
+ } else if (tmp == "onehalf") {
+ par->spacing.set(Spacing::Onehalf);
+ } else if (tmp == "double") {
+ par->spacing.set(Spacing::Double);
+ } else if (tmp == "other") {
+ lex.next();
+ par->spacing.set(Spacing::Other,
+ lex.GetFloat());
+ } else {
+ lex.printError("Unknown spacing token: '$$Token'");
+ }