{
if (available()) {
text->copyEnvironmentType();
- // clear the selection, even if mark_set
- toggleSelection();
- text->clearSelection();
- update(text, BufferView::SELECT|BufferView::FITCUR);
owner()->message(_("Paragraph environment type copied"));
}
}
{
if (available()) {
text->copySelection(this);
-#if 0
- // clear the selection, even if mark_set
- toggleSelection();
- text->clearSelection();
- update(text, BufferView::SELECT|BufferView::FITCUR);
-#endif
owner()->message(_("Copy"));
}
}
2001-11-27 Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
+ * BufferView2.C (copy):
+ (copyEnvironment): do not clear the selection when doing a copy.
+
* text.C (paintFirstRow): compilation fix
2001-11-27 Ben Stanley <bds02@uow.edu.au>