#include "buffer.h"
#include "cursor.h"
#include "CutAndPaste.h"
+#include "buffer_funcs.h"
#include "BufferView.h"
#include "debug.h"
#include "funcrequest.h"
#include "undo.h"
#include "frontends/Alert.h"
+#include "frontends/Selection.h"
#include "support/convert.h"
#include "support/docstream.h"
++num;
}
- bv->buffer()->text().init(bv);
+ updateLabels(buf);
bv->putSelectionAt(doc_iterator_begin(buf.inset()), 0, false);
if (num)
buf.markDirty();
// Now put cursor to end of selection:
bv->cursor().setCursor(cur);
bv->cursor().setSelection();
+ theSelection().haveSelection(bv->cursor().selection());
// if we used a lfun like in find/replace, dispatch would do
// that for us
bv->update();