Background

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

1. log in to desktop
2. start Gnome terminal
3. maximize the terminal window (so that the title bar merges with the activity bar)
4. power the display off, then back on

What happens

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.

Further info

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.