Tạo các màu của thiết bị đầu cuối nhúng gedit giống như thiết bị đầu cuối mặc định

Tôi vừa cập nhật lên 11.10 và hiện tại thiết bị đầu cuối nhúng trong gedit không khớp với thiết bị đầu cuối mặc định của tôi. Tôi ghét nhìn vào một thiết bị đầu cuối màu trắng và đen. Có ai biết làm thế nào để thiết bị đầu cuối nhúng phù hợp với thiết bị đầu cuối mặc định?

Đây là một ảnh chụp màn hình:

Tôi muốn thiết bị đầu cuối nhúng của mình trong gedit khớp với thiết bị đầu cuối mặc định của tôi.

1. Hãy chắc chắn rằng bạn đã cài đặt các gói sau:

   • công cụ

   • biên tập viên

2. Mở gconf-editorvà điều hướng đến các ứng dụng ➜ gnome-terminal và chọn một hồ sơ:

   

3. Bây giờ hãy mở ra dconf-editorvà điều hướng đến org gnome gedit ➜ plugin ➜ terminal và bỏ chọn phím use-theme-colors :

   

4. Từ trình soạn thảo gconf, sao chép các giá trị của

   • màu nền
   • màu nền
   • bảng màu

   qua các phím tương ứng trong trình soạn thảo dconf. Thiết bị đầu cuối nhúng bây giờ phải khớp với thiết bị đầu cuối gnome thông thường.

   

Đây là cho gedit 3

Vấn đề tương tự ở đây màu trắng trên màu xám nhạt.

Tôi tự chỉnh sửa /usr/lib/gedit/plugins/terminal.py . Thiết bị đầu cuối được sử dụng là xterm.

Tìm kiếm:

fg = context.get_color(Gtk.StateFlags.NORMAL)
bg = context.get_background_color(Gtk.StateFlags.NORMAL)

Tôi thay thế bằng

fg = Gdk.RGBA(0, 0, 0, 1)
bg = Gdk.RGBA(1, 1, 1, 1)

Thông tin: fg= văn bản màu đen, bg= nền trắng

Hãy chắc chắn rằng bạn chưa đánh dấu Sử dụng màu sắc từ chủ đề hệ thống thì nó sẽ hoạt động:

Mở gconf-editorvà đi đếnapps->gnome-terminal->profiles->Default

• Bỏ chọn tùy chọn sử dụng chủ đề màu sắc.
• Đặt màu nền trước: #FFFFFF
• Đặt màu nền: # 000000

Điều này sẽ đặt văn bản thành màu trắng và nền thành màu đen. Nó sẽ đặt cái này cho cả thiết bị đầu cuối và thiết bị đầu cuối nhúng, nếu bạn muốn sử dụng các màu khác nhau cho mỗi thiết bị, thì hãy làm điều này thay thế.

Mở gconf-editorvà đi đếnapps->gedit-2->plugins

• Tạo khóa mới có tên use_theme_colors
• Đặt loại thành: Boolean
• Đặt giá trị thành: Sai
• Tạo một khóa mới có tên foreground_color
• Đặt loại thành: Chuỗi
• Đặt giá trị thành: #FFFFFF
• Tạo một khóa mới có tên là background_color
• Đặt loại thành: Chuỗi
• Đặt giá trị thành: # 000000

Chỉnh sửa tập tin /usr/lib/gedit-2/plugins/terminal.py

Bên dưới dòng:

GCONF_PROFILE_DIR = "/apps/gnome-terminal/profiles/Default"

Thêm một dòng mới:

GCONF_GEDIT_DIR = "/apps/gedit-2/plugins"

Sau đó thay thế các dòng:

if not gconf_get_bool(self.GCONF_PROFILE_DIR + "/use_theme_colors"):
fg_color = gconf_get_str(self.GCONF_PROFILE_DIR + "/foreground_color", None)
bg_color = gconf_get_str(self.GCONF_PROFILE_DIR + "/background_color", None)

Với:

if not gconf_get_bool(self.GCONF_GEDIT_DIR + "/use_theme_colors"):
fg_color = gconf_get_str(self.GCONF_GEDIT_DIR + "/foreground_color", None)
bg_color = gconf_get_str(self.GCONF_GEDIT_DIR + "/background_color", None)

Bây giờ bạn chỉ có thể đặt màu cho thiết bị đầu cuối được nhúng, với các phím bạn đã tạo trong apps->gedit-2->plugins

Kiểm tra terminal.pyUbuntu 16.04, có vẻ như nó tải một số hồ sơ cũ:

def get_profile_settings(self):
    profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")

    if not profiles:
        default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/"
        settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile",
                                              default_path)
    else:
        settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")

    return settings

Kiểm tra org.gnome.terminal.legacy.profiles:trong dconf-editor, có một hồ sơ như vậy. Sau khi xóa nó bằng:

dconf reset -f /org/gnome/terminal/legacy/profiles:/

Tôi có thể thay đổi cài đặt org.gnome.gedit.plugins.terminalvà để chúng có hiệu lực. Đối với background-color, tôi đã phải vô hiệu hóa use-theme-coloursđầu tiên.

trong 13.04, đường dẫn trình soạn thảo gconf đến các thuộc tính đã thay đổi thành: org -> gnome -> gedit -> terminal