microsoft / microsoft/terminal

No padding in tab well to move the window

Open
#12,616 6 comments 4 reactions 0 assignees View on GitHub
Area-Windowing Issue-Bug Priority-3 Product-Terminal
Dominant language
C++
Stars
105k
Forks
9.6k
Avg merge
3d 17h
Merged PRs (30d)
29

Description

### Windows Terminal version

1.11.3471.0

### Windows build number

10.0.19044.0

### Other Software

_No response_

### Steps to reproduce

Edge's tab well has padding to move the window:

![image](https://user-images.githubusercontent.com/4003950/156519342-c6dde155-9c01-4ecc-8015-5adba648b841.png)

But Windows Terminal doesn't have that padding that allows me to move the window:

![image](https://user-images.githubusercontent.com/4003950/156519506-bd40a073-6715-4bd5-8034-fa76e46e8e49.png)

The only part allowing moving the window is here:

![image](https://user-images.githubusercontent.com/4003950/156519824-9f1bd9d6-81fe-4e94-9472-76daf19ce565.png)

This becomes annoying when the Windows Terminal window is moved beyond the right edge of the screen and that part is squeezed beyond the edge. Now you can't move the window:

![image](https://user-images.githubusercontent.com/4003950/156519739-e752a9ca-37c1-4851-a980-b57f1fdc0b50.png)

### Expected Behavior

Windows Terminal's tab well should have an area allowing moving the window.

### Actual Behavior

Windows Terminal's tab well doesn't have an area allowing moving the window.

Contributor guide

Open the contributing guide

Research direction

Reproduce the issue in Windows Terminal 1.11.3471.0 on Windows 10.0.19044.0, particularly after moving the window beyond the right edge of the screen. Trace the tab-well window-drag behavior from the desktop UI entry point; done means the tab well retains an area that can move the window when the existing drag area is squeezed away.

Written by the indexing model from the issue text.

Assessment

Tech stack
cpp
Domain
desktop, frontend
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
38/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.