I’m using the currently published version of No Title Bar from Gnome Extensions in Ubuntu 18.04 (gnome-shell version 3.28.1-0ubuntu2).
Steps to reproduce
- log in to desktop
- start Gnome terminal
- maximize the terminal window (so that the title bar merges with the activity bar)
- power the display off, then back on
The terminal window again has its own title bar.
What I expect to happen
For the terminal window title bar to remain merged with the activity bar.
Under some circumstances (the specifics of which I haven’t been able to narrow down), when the title bar comes back, it is entirely transparent, so that in place of a title bar you have a see-through hole. Here’s a screenshot, showing how part of Firefox’s UI is visible from behind the terminal window, through where the title bar would be.