<div dir="ltr">Sorry everybody,<br><br>This was a false alarm: I had an older extension in gnome that was supposed to remove the title bar of maximized windows which was causing all this. I replaced it with a newer one and now all is fine.<br><br>Please close this bug.<br><br>Again, sorry for the inconvenience.<br></div>