#include "undo.h"
#include "frontends/Alert.h"
+#include "frontends/Selection.h"
#include "support/convert.h"
#include "support/docstream.h"
// 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();