Skip to content

Added a setting for configuring open direction for "open to the side"#49523

Merged
bpasero merged 2 commits intomicrosoft:ben/editorfrom
alexr00:alex/editor_openToTheSide
May 13, 2018
Merged

Added a setting for configuring open direction for "open to the side"#49523
bpasero merged 2 commits intomicrosoft:ben/editorfrom
alexr00:alex/editor_openToTheSide

Conversation

@alexr00
Copy link
Copy Markdown
Member

@alexr00 alexr00 commented May 9, 2018

No description provided.

@bpasero bpasero added this to the May 2018 milestone May 9, 2018
@bpasero bpasero added the workbench-editor-grid Grid layout issues in the editor area label May 10, 2018
@bpasero
Copy link
Copy Markdown
Member

bpasero commented May 13, 2018

@alexr00 I merged to latest and simplified the code a bit to use the configuration service directly. Thanks 👍

@bpasero bpasero merged commit dfb6572 into microsoft:ben/editor May 13, 2018
@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

workbench-editor-grid Grid layout issues in the editor area

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants