[ad_1]
我喜欢在 Gnome Shell 顶部栏中拥有音乐应用程序控件,这样我就可以轻松控制我正在使用的任何音乐应用程序,而无需在窗口之间不断切换,因此我在我的 Ubuntu 18.04 系统上安装了流行的 Gnome Shell 媒体播放器指示器扩展。
但是显示在 Gnome Shell 顶部栏中的扩展小部件(文本、播放器控件等)看起来非常丑陋且未对齐/不合适。 看起来这是由于 Gnome Shell 3.28 的更改而发生的,并且扩展开发人员尚未解决此问题。
不过,已经有一个可以轻松应用的修复程序。
这就是媒体播放器指示器在带有 Gnome Shell 3.28 的 Ubuntu 18.04 中的样子,没有我提到的修复:
这是应用修复后媒体播放器指示器扩展的外观:
要使用 Gnome Shell 3.28 修复媒体播放器指示器的外观,请打开 Nautilus 并导航到~/.local/share/gnome-shell/extensions/[email protected]/
(您可以按Ctrl + L
在 Nautilus 中并将此地址粘贴到地址栏中)并打开stylesheet.css
使用文本编辑器创建文件。
在 stylesheet.css 文件的底部(不要更改/删除任何其他内容),粘贴以下 CSS 修复:
/* fix for player controls / text not being centered in Gnome Shell 3.28+ */
.aggregate-menu .popup-sub-menu > * > * > :first-child,
.aggregate-menu .popup-sub-menu > * > * > :last-child > :first-child,
.aggregate-menu .popup-sub-menu > * > * > :last-child > :first-child > :first-child
{
margin: 0; padding: 0;
}
/* end fix for player controls / text not being centered in Gnome Shell 3.28+ */
Save 文件,重新启动 Gnome Shell(按Alt + F2
并输入r
,然后按Enter
,或注销并重新登录),并且 Gnome Shell 的媒体播放器指示器扩展不应再错位/错位。
修复学分:IBBoard。
[ad_2]