Responsive Settings window
Nobody has claimed this yet.
- Dominant language
- Rust
- Stars
- 65.1k
- Forks
- 5.6k
- PR merge metrics
- PR metrics pending
Description
Discord username (optional)
No response
Describe the bug
When I am in the quake mode and try to open the settings window, it opens it in the quake window with the view cutoff by the size of the quake window. I could increase the size of the quake window to see the entirety of the settings popup but beats the purpose of quake mode window.
To reproduce
Launch quake mode and open settings (Cmd+`)
Expected behavior
It would be best to have a single instance of the settings popup and launch in the main window.
Screenshots
Operating system
MacOS
Operating system and version
Ventura 13.5
Shell Version
No response
Current Warp version
No response
Regression
No, this bug or issue has existed throughout my experience using Warp
Recent working Warp date
No response
Additional context
No response
Does this block you from using Warp daily?
No
Is this a Warp specific issue? (i.e. does it happen in Terminal, iTerm, Kitty, etc.)
Yes, this I confirmed this only happens in Warp, not other terminals.
Warp Internal (ignore): linear-label:b8107fdf-ba31-488d-b103-d271c89cac3e
None
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the issue by launching quake mode on macOS and opening Settings with Cmd+`; then trace the settings popup and quake-window entry points. Done means the settings popup opens as a single instance in the main window and is fully visible without resizing quake mode.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- desktop
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100