#include "frontends/Alert.h"
#include "frontends/FileDialog.h"
#include "frontends/FontMetrics.h"
+#include "frontends/Selection.h"
#include "graphics/Previews.h"
cursor_.resetAnchor();
cursor_.setCursor(buffer_->getCursor().asDocIterator(&(buffer_->inset())));
cursor_.setSelection();
+ theSelection().haveSelection(cursor_.selection());
}
}
cursor_.setSelection(cursor_, -length);
} else
cursor_.setSelection(cursor_, length);
+ theSelection().haveSelection(cursor_.selection());
}
}