Source editor: Right click deselects text
Original Reporter info from Mantis: Stephano
-
Reporter name:
Original Reporter info from Mantis: Stephano
- Reporter name:
Description:
If the "right mouse includes caret move" setting in the environment/editor/mouse options is set, then right clicking selected text will deselect it.
Hence, copying a block of text with the mouse is no longer possible.
OS: Ubuntu 9.10
Mantis conversion info:
- Mantis ID: 15325
- Version: 0.9.29 (SVN)
- Fixed in version: 0.9.29 (SVN)
- Fixed in revision: 23862 (#4e85dcf5)
- Target version: 0.9.30