Bring back fix for #1489396, unintentionally removed in another pull request
Description
Description
Details
Details
- Provenance
machniak Authored on Oct 30 2013, 1:49 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:bc35e865ae70: Fix Ctrl+click selection after recent refactorings of keyboard nawigation on…
- Branches
- Unknown
- Tags