我正在使用 Ubuntu 18,并且我试图在 Gnome 终端获得/失去焦点时动态更改其背景颜色(顺便说一句:我不使用选项卡 - 每个终端只有一个选项卡),以便我可以轻松识别当前聚焦的选项卡。这是可以配置的东西吗
~/.config/gtk-3.0/gtk.css
?
答案1
在 GTK 3.22 中,所有未聚焦窗口中的元素都具有:backdrop
伪类。
(参见文档所有受支持的 CSS 语法。
我正在使用 Ubuntu 18,并且我试图在 Gnome 终端获得/失去焦点时动态更改其背景颜色(顺便说一句:我不使用选项卡 - 每个终端只有一个选项卡),以便我可以轻松识别当前聚焦的选项卡。这是可以配置的东西吗
~/.config/gtk-3.0/gtk.css
?
在 GTK 3.22 中,所有未聚焦窗口中的元素都具有:backdrop
伪类。
(参见文档所有受支持的 CSS 语法。