Skip to content

issue: #40373 default setting for panel location#40559

Merged
isidorn merged 4 commits intomicrosoft:masterfrom
pfongkye:issue/40373
Dec 22, 2017
Merged

issue: #40373 default setting for panel location#40559
isidorn merged 4 commits intomicrosoft:masterfrom
pfongkye:issue/40373

Conversation

@pfongkye
Copy link
Contributor

No description provided.

@isidorn isidorn self-assigned this Dec 20, 2017
@isidorn isidorn added this to the December 2017/January 2018 milestone Dec 21, 2017
'type': 'string',
'enum': ['bottom', 'right'],
'default': 'bottom',
'description': nls.localize('panelDefaultLocation', "Controls the location of the panel. It can either show at the bottom or on the right of the workbench.")
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this controls the default location, so I would prefer the folowing
`"Control the default location of the panel."

'php.validate.run',
'workbench.welcome.enabled',
'workbench.startupEditor',
'workbench.panel.defaultLocation',
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is not needed imho, please remove it.

@isidorn
Copy link
Collaborator

isidorn commented Dec 22, 2017

@pfongkye I have added 2 minor comments. Please address them and merge latest master into your PR, resolve conflicts and we can merge this in.

Thanks a lot 🍻

@pfongkye
Copy link
Contributor Author

@isidorn I made the changes and merged master. Thanks for the review 👍

@isidorn isidorn merged commit b28eec6 into microsoft:master Dec 22, 2017
@isidorn
Copy link
Collaborator

isidorn commented Dec 22, 2017

@pfongkye this looks great now, thanks a lot I merged it in 🍻

@pfongkye pfongkye deleted the issue/40373 branch December 24, 2017 09:58
@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