Tracker »

Issue 1714 – Mouse range selection does not start from the file focused by an incremental search

Component: GUI

Version: 5.14.2 beta

Severity: Enhancement

Priority: Medium

Votes: 0

Status: RESOLVED

Resolution: IMPLEMENTED

Implemented in: 5.14.3

Last modified: 2018-12-25 13:45

2018-12-24 14:28

Follow up to Issue 1711.
Related to Issue 999 and Issue 1438.

2018-12-24 14:31

Fixed.

2018-12-25 13:45

Commit 1546cf19