Измените цвет шрифта и тип в PgAdmin 8.2/9.1

Я использую темную тему в Windows, и мой pgAdmin также меняет темную тему. Это здорово для меня, за исключением черного заголовка столбца, когда я открываю таблицу:

Название черного столбца

Я пытаюсь изменить цвет шрифта на серый через Файл -> Параметры -> Браузер -> Разное пользовательского интерфейса. Я нажимаю «ОК», но ничего не происходит.

я снова открываю UI Miscellanious, а шрифт не меняется (по-прежнему черный Tahoma).. :(

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

Кто-нибудь, пожалуйста, помогите мне..


person green43    schedule 08.10.2015    source источник


Ответы (1)


Итак, похоже, что pgadmin использует несовместимые атрибуты цвета по умолчанию из gtk. А именно «Цвет текста Windows» для переднего плана и «Цвет поля ввода» для фона.

Чтобы изменить цвета в Ubuntu, 1. Щелкните правой кнопкой мыши на рабочем столе -> измените фон рабочего стола 2. В меню «Настройки внешнего вида» щелкните вкладку «Тема» 3. Выделите текущую тему, затем нажмите «Настроить» 4. Перейдите на вкладку «Цвета» и измените « Windows: Текст» и «Поля ввода: Фон» на цвета, которые вы хотите для pgadmin. 5. Перезапустите pgadmin, чтобы увидеть изменения цвета.

К сожалению, это приводит к изменению настроек цвета вашего рабочего стола, и это довольно сложно настроить так, чтобы вы не испортили что-то еще. Pgadmin - я советую вам, возможно, отправить отчет об ошибке pgadmin с некоторым тегом на эффект «Несовместимые классы цветов GTK по умолчанию, используемые при рендеринге пользовательского интерфейса».

person lee    schedule 16.03.2016