#include "Exporter.h"
#include "Format.h"
#include "Mover.h"
+#include "texstream.h"
#include "frontends/alert.h"
size_t const pos = result.find("$$Contents(\"");
size_t const end = result.find("\")", pos);
- result.replace(pos, end + 2, contents);
+ result.replace(pos, end + 2- pos, contents);
}
return result;
else if (id == Resize)
ptr = store.getCommandTransformer(params.resizedata);
- if (!ptr.get())
+ if (!ptr)
return input;
string result =
break;
}
- if (!ptr.get())
+ if (!ptr)
return input;
return subst(input, ptr->placeholder(), ptr->option());