Mouse selection from margin not working #9095

Closed
opened 2026-01-31 01:45:51 +00:00 by claunia · 2 comments
Owner

Originally created by @JensMeinecke on GitHub (Jun 18, 2020).

When using the mouse to select text in the console, the user has to be very careful when trying to select from the first character, as the 'margin' in the left is not considered selectable.

It would be nice if clicking within the (say left) margin and dragging to the right the characters from the first one will be selected.

As is, one has to move the mouse carefully onto the first character and then start dragging.

Originally created by @JensMeinecke on GitHub (Jun 18, 2020). <!-- 🚨🚨🚨🚨🚨🚨🚨🚨🚨🚨 I ACKNOWLEDGE THE FOLLOWING BEFORE PROCEEDING: 1. If I delete this entire template and go my own path, the core team may close my issue without further explanation or engagement. 2. If I list multiple bugs/concerns in this one issue, the core team may close my issue without further explanation or engagement. 3. If I write an issue that has many duplicates, the core team may close my issue without further explanation or engagement (and without necessarily spending time to find the exact duplicate ID number). 4. If I leave the title incomplete when filing the issue, the core team may close my issue without further explanation or engagement. 5. If I file something completely blank in the body, the core team may close my issue without further explanation or engagement. All good? Then proceed! --> When using the mouse to select text in the console, the user has to be very careful when trying to select from the first character, as the 'margin' in the left is not considered selectable. <!-- A clear and concise description of what the problem is that the new feature would solve. Describe why and how a user would use this new functionality (if applicable). --> It would be nice if clicking within the (say left) margin and dragging to the right the characters from the first one will be selected. As is, one has to move the mouse carefully onto the first character and then start dragging. <!-- A clear and concise description of what you want to happen. -->
claunia added the Issue-FeatureResolution-Duplicate labels 2026-01-31 01:45:51 +00:00
Author
Owner

@DHowett commented on GitHub (Jun 18, 2020):

Thanks for the report! This is a /duplicate of #5626

@DHowett commented on GitHub (Jun 18, 2020): Thanks for the report! This is a /duplicate of #5626
Author
Owner

@ghost commented on GitHub (Jun 18, 2020):

Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!

@ghost commented on GitHub (Jun 18, 2020): Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#9095