}
-string const LyXLex::GetString() const
+string LyXLex::GetString() const
{
return pimpl_->GetString();
}
&& prefixIs(tmpstr, prefix.c_str())) {
tmpstr.erase(0, prefix.length() - 1);
}
- str += tmpstr + '\n';
+ str += frontStrip(tmpstr, "\t") + '\n';
}
else // token == endtoken
break;
}
+void LyXLex::pushToken(string const & pt)
+{
+ pimpl_->pushToken(pt);
+}
+
+
int LyXLex::FindToken(char const * str[])
{
int i = -1;