-
Notifications
You must be signed in to change notification settings - Fork 8.2k
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
Really hard to resize via top margin when toggleFocusMode is enabled #7012
Comments
This is not by design, lol. |
Really? I've seen many games where you couldn't. But you could move the window or toggle fullscreen on/off. |
If we're going to support resize on the bottom, left and right borders we should support it on the top too. |
<!-- Enter a brief description/summary of your PR here. What does it fix/what does it change/how was it tested (even manually, if necessary)? --> ## Summary of the Pull Request In the focus mode the top border disappears upon resize. While this behavior is expected in the maximized / full screen mode, it should not happen in the focus mode. <!-- Other than the issue solved, is this relevant to any other issues/existing PRs? --> ## References <!-- Please review the items on the PR checklist before submitting--> ## PR Checklist * [x] Closes #7012 * [x] CLA signed * [ ] Tests added/passed - nope, only manual testing * [ ] Documentation updated - irrelevant * [ ] Schema updated - irrelevant * [ ] I've discussed this with core contributors already. If not checked, I'm ready to accept this work might be rejected in favor of a different grand plan. Issue number where discussion took place: #xxx <!-- Provide a more detailed description of the PR, other things fixed or any additional comments/features here --> ## Detailed Description of the Pull Request / Additional comments _GetTopBorderHeight method returns 0 when maximized or no title bar is visible. However the existence of top border has nothing to do with whether the title bar is visible. We want to leave the border as long as the window is not in some form of maximizing (maximized / full screen) <!-- Describe how you validated the behavior. Add automated tests wherever possible, but list manual validation steps taken as well --> ## Validation Steps Performed * Manual - dragging, resizing, maximizing both in focus and non focus modes + full screen testing (cherry picked from commit 990628a)
🎉This issue was addressed in #8140, which has now been successfully released as Handy links: |
🎉This issue was addressed in #8140, which has now been successfully released as Handy links: |
Environment
Steps to reproduce
Hide the terminal's title bar and tabs by enabling the new setting 'toggleFocusMode'.
For example, by adding
{ "command": "toggleFocusMode", "keys": "ctrl+shift+t" },
to your keybindings.Once you've hidden the title bar, hover over the top window border with your mouse and resize it a bit.
Try resizing it a second time, it no longer works.
Resizing via left, bottom or right margins continue to work though.
Expected behavior
Expected that resizing via the top frame/border still worked.
Actual behavior
Not possible to resize vertically via top-border.
The text was updated successfully, but these errors were encountered: