Layout issue
Janhouse opened this issue · 4 comments
Today I reallized I can drag quick settings menu items around, and the volume control box has bigger box than it should be.
2023-07-08_15-55-46.mp4
Yeah, it's a feature of the latest version that is not yet on e.g.o.
I was aware of this bug, but had no idea what was causing it. I've found a fix, but I still have no idea what caused it.
Note that buggy panels will still have a small margin at the bottom because the root cause is not fixed.
This is now fully fixed. It turns out that it was caused by a bug in Clutter (or an inconsistency, I don't really know).
Are you on version 21? This issue should have been corrected in this version (and it also should have been partially fixed in version 20).
If you're already on version 21, can you run the following code in looking glass (you can copy-paste the whole block):
function recurs(trace, widget) {
trace += " -> " + widget.toString();
if (!widget.needs_expand(Clutter.Orientation.VERTICAL)) return;
if (widget.y_expand) {
console.log(`[DEBUG LOGS] ${trace}`);
return;
}
for (const child of widget.get_children()) {
recurs(trace, child);
}
}
recurs('', Main.panel._libpanel._main_panel);
This should give you one or more lines starting with [DEBUG LOGS]
in the logs (journalctl -f -o cat /usr/bin/gnome-shell
to see the logs). Send those lines here so that I can try to understand the issue.