Markings are removed, when they are used.
Original Reporter info from Mantis: Birger52
-
Reporter name: Birger Sørensen
Original Reporter info from Mantis: Birger52
- Reporter name: Birger Sørensen
Description:
When a text is marked, and it is dragged with the mouse the Text can be moved or copied(Ctrl held down) to a new location. But the marking is removed, when mousebutton is released. So if you need to copy the same text to more than one location, it can not be done with the mouse, without repeating the marking first. The copied (or moved) text should remain marked.
Mantis conversion info:
- Mantis ID: 37433
- Version: 2.0.10
- Fixed in version: 2.2
- Fixed in revision: 63757 (#447eff95)
- Target version: 2.2