Beim Verschieben der Fenster tritt ein Größenänderungseffekt auf, wenn versehentlich eine der Bildschirmkanten berührt wird. Dieses Steuerelement war in früheren Versionen in CCSM und Ubuntu Tweak verfügbar.
Ich finde es nicht in Gnome Tweak. Ich habe das Repository auch durchsucht mit:
$ apt search ubuntu.*tweak
Grid => Corners/Edges => Top Edge
auf "Keine"? Diese Änderung in CCSM hat den Trick für 16.04 gemacht, aber nicht in 18.04