3 ms·
They should work if you exit and restart ghostty.
by tux1968 2y ago
They should work if you exit and restart ghostty.
- Gormo 2y agoThanks, that worked. Apparently, the reload-config hotkey doesn't always work for certain changes. In this case, setting `gtk-titlebar = false` disabled the header bar -- only issue now is that there is no menu bar at all!