Skip to content
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 bottom padding to integrated terminal. Fixes #30626 #30728

Merged
merged 2 commits into from
Jul 20, 2017

Conversation

cleidigh
Copy link
Contributor

@cleidigh cleidigh commented Jul 14, 2017

@Tyriar

  • set padding to 2px, tried 1px and it was barely discernible - will change to one if you wish
  • wanted to do the logical thing and add bottom padding to terminal outer container, however
    this was not possible given that the terminal wrapper is absolutely located to the bottom
    of the terminal outer container.

Fixes #30626

@@ -29,6 +29,7 @@
position: absolute;
bottom: 0;
top: 0;
padding-bottom: 2px;
Copy link
Member

Choose a reason for hiding this comment

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

Does bottom: 2px here save us from doing the changes in terminalInstance.ts?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

I tried quite a bit of combinations of both margin and padding as well as trying to change the positioning.
I was unable to use just position-bottom, this threw everything off.
even if we used bottom I believe we would still have to do the inner height adjustment so I'm not sure if the change is if I'm understanding you.

@Tyriar Tyriar added this to the July 2017 milestone Jul 20, 2017
@Tyriar
Copy link
Member

Tyriar commented Jul 20, 2017

@cleidigh looks good, I removed some comments as I feel they're just necessary to explain in the PR itself 👍

@Tyriar Tyriar merged commit 0813e65 into microsoft:master Jul 20, 2017
@cleidigh cleidigh deleted the terminal-border/add branch July 25, 2017 23:37
@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.

A little bit more margin please
3 participants