Skip to content

Support middle mouse click on folding decorator to recursively toggle folding#38727

Merged
aeschli merged 3 commits intomicrosoft:masterfrom
adenflorian:master
Nov 20, 2017
Merged

Support middle mouse click on folding decorator to recursively toggle folding#38727
aeschli merged 3 commits intomicrosoft:masterfrom
adenflorian:master

Conversation

@adenflorian
Copy link
Contributor

Implements #16517

@adenflorian adenflorian changed the title Support middle mouse click on folding decrator to recursively toggle folding Support middle mouse click on folding decorator to recursively toggle folding Nov 19, 2017
@aeschli aeschli merged commit 1cb368d into microsoft:master Nov 20, 2017
@aeschli aeschli added this to the November 2017 milestone Nov 20, 2017
@aeschli
Copy link
Contributor

aeschli commented Nov 20, 2017

Cool, thanks @adenflorian !

@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.

2 participants