#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());
return true;
}