Comment 12 for bug 1742193

@lesliek, also a longtime user here, always Ubuntu w/ gnome-panel (called by different names over time, currently "Flashback"). Every few years I've checked in on Mint and finally switched over ~2 months ago. Quickly realized that all of the patches and workarounds (such as this very one!) I'd been applying were no longer needed. For a classic desktop, everything just works.

A little change can be quite beneficial.