spec: hide Warp from Dock on macOS#9349
Conversation
|
@oz-for-oss[bot] I'm starting a first review of this spec-only pull request. You can follow along in the session on Warp. I completed the review and posted feedback on this pull request. Comment I completed the review and posted feedback on this pull request. Comment Powered by Oz |
There was a problem hiding this comment.
Overview
This PR adds product and technical specs for a macOS-only, opt-in setting that hides Warp from the Dock while the dedicated Hotkey window workflow is active. The specs define default behavior, recovery safeguards, platform API work, settings/UI integration, telemetry constraints, and validation coverage.
Concerns
- No blocking concerns found. The open UX choices are explicitly bounded, and the technical spec provides feasible implementation paths consistent with the referenced settings, hotkey, and macOS platform layers.
Verdict
Found: 0 critical, 0 important, 0 suggestions
Approve
Comment /oz-review on this pull request to retrigger a review (up to 3 times on the same pull request).
Powered by Oz
There was a problem hiding this comment.
Overview
This PR adds product and technical specs for a macOS-only opt-in setting that hides Warp from the Dock when the dedicated Hotkey window workflow is enabled.
Concerns
- The recovery safeguard is based on a configured keybinding, but the current global shortcut registration path can fail without surfacing success to the proposed effective-state logic; the spec should require a successful registration or a visible-Dock fallback.
- The product spec still leaves persistence/sync scope as an open question even though the behavior and tech spec assume storage with existing dedicated Hotkey window settings.
Verdict
Found: 0 critical, 2 important, 0 suggestions
Request changes
Comment /oz-review on this pull request to retrigger a review (up to 3 times on the same pull request).
Powered by Oz
| 7. Warp disappears from the Dock but remains running and responding to the registered global hotkey. | ||
| 8. If the user disables the setting, clears the keybinding, or changes global hotkey mode, the same effective-state code restores regular activation policy and the Dock icon returns. | ||
| ## Risks and mitigations | ||
| 1. Risk: Users can lose their obvious app entry point if the Dock icon is hidden without a working hotkey. Mitigation: effective Dock hiding requires a configured dedicated Hotkey window keybinding and restores the Dock icon when the keybinding is removed. |
There was a problem hiding this comment.
| 2. Validate that non-macOS builds ignore the setting and do not expose macOS-specific UI. | ||
| 3. Validate that settings persistence and restart behavior match the effective-state rules in Behavior 8 through 12. | ||
| ## Open questions | ||
| 1. Should this setting be stored only locally on each machine, or should it sync with the existing dedicated Hotkey window settings? The current product expectation is that it persists with the dedicated Hotkey window settings, while non-macOS clients ignore it. |
There was a problem hiding this comment.
|
I have reviewed this spec with the help of two different models Opus 4.7 and Codex; both agree that this spec looks to be promising to fix the issue. If anybody else with experience on the repo could double check, I'd be comfortable taking a stab at implementation now. As per Claude's: |
9a033bd to
b5ae010
Compare
Co-Authored-By: Oz <[email protected]> Co-Authored-By: Jhan Silva <[email protected]>
b5ae010 to
d3ce5e7
Compare
Summary
Related issue: #1154
Validation