I found the extension https://extensions.gnome.org/extension/723/pixel-saver/ which brings a behavior much closer to that of 17.04 -- however, with this solution the window buttons are missing once a window has been maximized and merged with the top bar. Perhaps the extension could still serve as an inspiration.
I found the extension https:/ /extensions. gnome.org/ extension/ 723/pixel- saver/ which brings a behavior much closer to that of 17.04 -- however, with this solution the window buttons are missing once a window has been maximized and merged with the top bar. Perhaps the extension could still serve as an inspiration.