Charles Cazabon <charlesc-bugs.debian....@pyropus.ca> wrote: > - this preference is no longer present in the configuration/settings app.
I'm an idiot. It's not exposed anywhere in the settings dialogs that I can find, but you can actually move it to the top of the screen by right-clicking, selecting Modify Panel, then Move Panel, and then selecting the area at the top of the screen. So it's just a discoverability issue. It actually still works without resorting to gsettings. I guess this report can be closed. Charles -- ------------------------------------------------------------------ Charles Cazabon <charlesc-bugs.debian....@pyropus.ca> Software, consulting, and services available at http://pyropus.ca/ ------------------------------------------------------------------