lyx_exit(1);
}
- d->texrow = move(os.texrow());
+ d->texrow = std::move(os.texrow());
ofs.close();
if (ofs.fail()) {
}
+void Buffer::scheduleRedrawWorkAreas() const
+{
+ if (d->wa_)
+ d->wa_->scheduleRedraw();
+}
+
+
void Buffer::resetAutosaveTimers() const
{
if (d->gui_)