34e85342d8
As outlined earlier, in order to turn the Extensions app into a properly sandboxed application, we need to split out the extension prefs dialog and move it elsewhere. With "elsewhere" being the new Extensions D-Bus service, effectively turning it into a shell extensions portal. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1106
3 lines
116 B
CSS
3 lines
116 B
CSS
.expander-frame > * { border-top-width: 0; }
|
|
.expander-toolbar { border: 0 solid @borders; border-top-width: 1px; }
|