close
Skip to content

Fix #43240 - Fix triple click on extension id selecting extra info#47921

Merged
sandy081 merged 1 commit into
microsoft:masterfrom
lwillia:lwillia/extension-id-select
Apr 16, 2018
Merged

Fix #43240 - Fix triple click on extension id selecting extra info#47921
sandy081 merged 1 commit into
microsoft:masterfrom
lwillia:lwillia/extension-id-select

Conversation

@lwillia

@lwillia lwillia commented Apr 16, 2018

Copy link
Copy Markdown
Contributor

Fixes #43240

This PR fixes the the bug where triple clicking on the extension id and copy-pasting it pastes everything after the extension id along with the id.

@sandy081 sandy081 added this to the April 2018 milestone Apr 16, 2018
@sandy081 sandy081 merged commit af979ba into microsoft:master Apr 16, 2018
@sandy081

Copy link
Copy Markdown
Member

LGTM. Thanks.

@github-actions github-actions Bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Triple click to copy extension id from editor copies a lot of other stuff

2 participants