Cấu hình kiểu GTK3 của thiết bị đầu cuối gnome được chuyển đến đâu trong Ubuntu 16.04?

Trong Ubuntu 14.04, tôi có thể định kiểu giao diện của thiết bị đầu cuối gnome và các tab của nó bằng cách tạo một tệp

/home/$user/.config/gtk-3.0/gtk.css

và đặt mã CSS vào nó, vd

    TerminalWindow .notebook tab.top:active{
      padding: 0;
      border-image: none;
      background-color: #555;
    }
    [...]

Bây giờ trên Ubuntu 16.04, điều này không ảnh hưởng đến sự xuất hiện của thiết bị đầu cuối gnome.
Làm cách nào tôi có thể sửa đổi giao diện của thiết bị đầu cuối gnome trên Ubuntu 16.04?

Điều này làm việc cho tôi:

/* gnome-terminal */
@define-color terminal_bg #300a24;

TerminalScreen {
    -TerminalScreen-background-darkness: 0.95;
    background-color: @terminal_bg;
    color: #fff;
}

TerminalScreenContainer .scrollbar:hover:not(.slider),
TerminalScreenContainer .scrollbar.dragging:not(.slider) {
    background-color: alpha(@scrollbar_track_color, 0.4);
}

/* Since .hovering class is not working here, we always
 use the same radius */
TerminalScreenContainer .scrollbar.slider.hovering,
TerminalScreenContainer .scrollbar.slider.dragging {
    border-radius: 1px;
}

TerminalScreenContainer .scrollbar {
    background-color: transparent;
}

TerminalWindow .notebook tab:active {
    padding: 0;
    border: none;
    background-color: #222;
}

Mã tôi đã thêm ở dưới cùng. Các tập tin tôi chỉnh sửa là ~/.themes/ORIG-Ambiance/gtk-3.0/apps/gnome-terminal.css.

Ghi chú:

• Tôi vừa sao chép thư mục Ambiance từ /usr/share/themesvà đổi tên nó để tôi không cần sử dụng các đặc quyền nâng cao trong khi chỉnh sửa tệp.

• Tôi thấy rằng việc sử dụng #555làm cho khó nhìn thấy văn bản trong tab.

• Tôi cũng đã thay đổi selected_fg_colorđể chắc chắn chủ đề nào và đó là lý do tại sao thanh cuộn không có màu cam;)

Đăng xuất / đóng tất cả các chương trình của tôi và đăng nhập lại được áp dụng theo chủ đề.
Tham chiếu API GTK cho GtkCssProvider (phiên bản dev không ổn định - Tôi không thể tìm thấy các phần tương đương cho ổn định) giải thích / xác nhận cách GTK sẽ đọc mã CSS cho một chủ đề khi khởi động:

Một ứng dụng có thể khiến GTK + phân tích một biểu định kiểu CSS cụ thể bằng cách gọi gtk_css_provider_load_from_file () và thêm nhà cung cấp với gtk_style_context_add_provider () hoặc gtk_style_context_add_provider_for_screen ().
Ngoài ra, một số tệp nhất định sẽ được đọc khi khởi tạo GTK +. Đầu tiên, tệp $ XDG_CONFIG_HOME / gtk-3.0 / gtk.css được tải nếu nó tồn tại.
Sau đó, GTK + cố gắng tải $ HOME / .theme / theme-name / gtk-3.0 / gtk.css, quay lại datadir / share / Themes / theme-name / gtk-3.0 / gtk.css, trong đó tên chủ đề là tên của chủ đề hiện tại (xem cài đặt "gtk-theme-name") và datadir là tiền tố được định cấu hình khi GTK + được biên dịch, trừ khi bị thay đổi bởi biến môi trường GTK_DATA_PREFIX.

Kinh nghiệm trước đây đã đề xuất gnome-terminal, tất cả những gì bạn cần làm là đóng tất cả các tab và cửa sổ của gnome-terminal để làm cho chủ đề mới có hiệu lực. Theo các tài liệu, có lẽ GTK cần phải trải qua quá trình khởi tạo hoặc có thể có một gnome-terminalquy trình vẫn đang chạy, yêu cầu tôi phải đăng xuất và đăng nhập lại.