Python - NameError: глобальное имя «плюс» не определено

Как указано в JanC, terminator использует тему gtk по умолчанию в вашей системе. Это правда, что проблему можно решить, поставив close_button_on_tab = False в ваш ~ / .config / terminator / config. Также вы можете изменить тему gtk. Или вы можете определить специальную настройку gtk специально для terminator. Для этого добавьте следующие строки в ваш файл gtkrc:

style "notebook" = "default"
{
    xthickness = 0
    ythickness = 0
}

widget_class "terminator*.GtkNotebook"       style "notebook"
class "terminator*.GtkNotebook"              style "notebook"

Обратите внимание, что вы изменяете стандартный виджет Gtk под названием «GtkNotebook». Это то, что отвечает за вкладки. Если вы хотите, чтобы это работало в каждом приложении (а не только терминаторе), используйте вместо этого:

widget_class "*GtkNotebook"       style "notebook"
class "*GtkNotebook"              style "notebook"

. Это повлияет на все приложения. Чтобы изменить цвет текста на вкладке, используйте:

style "notebook_maybelabel" = "default"
{ 
   fg[NORMAL]        = "#0000AA"
   text[NORMAL]        = "#0000AA"
}

widget_class "terminator*.GtkNotebook*"       style "notebook_maybelabel"
class "terminator*.GtkNotebook*"              style "notebook_maybelabel"

Я не эксперт Gtk, и этот совет может содержать ошибки.