Вопросы Теги

Помогите исправить размер шрифта gimp

Используйтеawk:

awk -F'\t' '
NR>1{
    if(!o[$1]) {o[$1]="User: "$1"\n\t"$4}
    else {o[$1]=o[$1]"\n\t"$4}
}
END { for (i in o) print o[i] }
' file

Выход:

User:abc123
    howdy?
    bowdy?
User:xyz123
    howdy?
0
28.10.2020, 01:50
2 ответа

Протестировано с GIMP 2.8.22 на Ubuntu 18.04 (XFCE ), поэтому я не знаю, работает ли это с вашей версией на Arch.

  1. Скопируйте тему по умолчанию в~/.gimp-2.8/themes/HiDPI:

    mkdir -p ~/.gimp-2.8/themes
cp -a /usr/share/gimp/2.0/themes/Default ~/.gimp-2.8/themes/HiDPI

  2. Отредактируйте ~/.gimp-2.8/themes/HiDPI/gtkrcи добавьте строку font_name = "sans 30"(, скопированную и скорректированную из темы "Маленькая"):

    ...
  stock["gtk-dialog-warning"] =
    {
      { "images/stock-warning-64.png", *, *, "gtk-dialog" }
    }

  ### this line was added ###
  font_name = "sans 30"

  GtkPaned::handle-size             = 6
  GimpDockWindow::default-height    = 300
  GimpDock::font-scale              = 0.8333
  GimpMenuDock::minimal-width       = 200
...

  3. Откройте GIMP, перейдите к Edit -> Preferences -> Themeи выберите тему HiDPI.

    Результат :GIMP menu Sans 30

0
18.03.2021, 22:54

Прошу прощения, что отнял у вас время. Правильный способ сделать это - это то, что я сделал в начале, но..... при редактировании sans 30 строка должна быть раскомментирована.

ошибка с моей стороны.

1
18.03.2021, 22:54

Теги

Похожие вопросы