-
Notifications
You must be signed in to change notification settings - Fork 30.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
add option to dock terminal at top #207721
Conversation
@microsoft-github-policy-service agree company="Avexsoft" |
@abhijit-chikane would you be so kind to help with community PR approvals? thanks! |
@sbatten would you be able to help? Thank you. |
@sbatten can help? thanks |
@benibenj @sbatten @meganrogge possible to give some feedback on this please? I would have opt for an extension if it was possible to move the terminal but VSCode has a restriction here https://code.visualstudio.com/api/extension-capabilities/overview#no-dom-access I use a 27" monitor, without this feature, I constantly have to look up and down from the top section to the lowest line on the screen and really causes strain on the neck. Thanks. |
@benibenj how do you do that? I tried dragging with the mouse and it would not work. Also, would it activate with |
@ agree |
@ agree company="Avexsoft" |
Thanks, managed to move it, but I mean, it isn't just the terminal, it's everything in the panel, i.e. problems, output etc, terminal is just the most frequently used. |
@benibenj i gave your suggestions a shot, but it created other problems, is a merge possible? Thank you. |
@benibenj what do you think? thanks |
I'll have a look at this in June and discuss with the team if this is something we want to support |
@mxts would you be open to grant me permissions to push commits to this PR? This would allow me to help you out with some of the required changes. There should be a button called |
Certainly! But how do I do that? I'm trying to look for allow maintainers to edit |
You should be able to see some action/checkbox below |
That's weird. I've never seen this before. It's telling me I do not have permission to push to the PR. Possibly because the branch belongs to an organisation. I might have to create a fork to be able to make some changes |
Ok, let me know if there is any settings I can change. |
Let's try this: I created a PR with my changes against your fork. If you review and approve it, it will be part of this PR. |
Panel position top cleanup and fixes
I have merged the changes, but have some trouble compiling VSCode... let me try and sort it out. |
I approved it. This will allow the pipeline to run. Let me know after you tested and are happy with the behaviour. If all tests pass and you agree with my changes, we can merge the PR :) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
terminal/ looks good 👏
yes @benibenj please merge thanks! |
* add option to dock terminal at top * fixed formatting * Update editorPart.ts requested changes * panel position fixes and cleanup --------- Co-authored-by: BeniBenj <besimmonds@microsoft.com>
for #201452