☰

Сделать цвета встроенного терминала gedit такими же, как у терминала по умолчанию

tag-icon • tag-icon command-line gedit
Сделать цвета встроенного терминала gedit такими же, как у терминала по умолчанию

Я только что обновился до 11.10, и теперь мой встроенный терминал в gedit не соответствует моему терминалу по умолчанию. Ненавижу смотреть на белый и черный терминал. Кто-нибудь знает, как заставить встроенный терминал соответствовать терминалу по умолчанию?

Это скриншот:

Скриншот

Я хочу, чтобы мой встроенный терминал в gedit соответствовал терминалу по умолчанию.

решение1

  1. Убедитесь, что у вас установлены следующие пакеты:

  2. Откройте gconf-editorи перейдите кприложения ➜ gnome-терминали выберите профиль:

    введите описание изображения здесь

  3. Теперь откройте dconf-editorи перейдите кorg ➜ gnome ➜ gedit ➜ плагины ➜ терминали снимите флажокиспользовать-тематические-цветаключ:

    введите описание изображения здесь

  4. Из gconf-editor скопируйте значения

    • фоновый цвет
    • цвет переднего плана
    • палитра

    к соответствующим клавишам в dconf-editor. Встроенный терминал теперь должен соответствовать обычному gnome-terminal.

    введите описание изображения здесь

решение2

Это для gedit 3

Та же проблема — белый на светло-сером.

Я вручную отредактировал /usr/lib/gedit/plugins/terminal.py. Используемый терминал — xterm.

Искать:

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

Я заменяю на

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

Информация: fg= черный текст, bg= белый фон

решение3

Убедитесь, что вы не отметили галочкойИспользовать цвета из системной темытогда это должно работать:

введите описание изображения здесь

решение4

При проверке terminal.pyUbuntu 16.04 обнаруживается, что он загружает какой-то устаревший профиль:

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

При осмотре org.gnome.terminal.legacy.profiles:в dconf-editor, был такой профиль.После удаленияс:

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

Я мог изменить настройки org.gnome.gedit.plugins.terminalи заставить их вступить в силу. Для background-color, мне нужно было use-theme-coloursсначала отключить.

Связанный контент