Mitchell Hashimoto
Mitchell Hashimoto
Closing this, pending finding another way to do it.
Yeah, I understand that. But I think terminals in particular are different in that its jarring to go from an environment where ctrl+n/p navigate nearly everywhere (shells, TUIs, etc.) due...
I can't reproduce the new tab behavior but I can reproduce the new window behavior.
@acornforth Its unrelated. This issue is fully self-contained in the Swift code (I've debugged it down to that). Please open a new discussion to track other platforms.
I'll also note this is absolutely not contributor friendly: our core data structure doesn't have any awareness of tab control characters currently.
Closing due to a delay in addressing feedback. It's no problem, I understand things come up and this is volunteer open source. I'd still like to see this resolved but...
Important detail for reproduction: you must be moving to a _fullscreen space_. If you move to a desktop space this bug does not occur.
> Perhaps we should reconsider this design decision and let Quick Terminal coexist with the Dock without modifying its visibility? The complexity and unreliability of the current approach suggest this...
A boolean feels more useful, since then you can know what the style is (bar, lock, box, etc.) even if it isn't visible. I could imagine that being useful for...
I'm curious if there is a similar default on macOS. I can't check currently since I'm on a laptop keyboard.