Как псевдоним жирного начертания одного семейства шрифтов заменить на жирное начертание другого семейства шрифтов?
Это полностью зависит от конкретного приложения. делать то, что ловит определенное нажатие клавиши. Тем не менее, вы можете настроить диспетчер окон на использование Ctrl - Q в качестве клавиши «закрыть активное окно».
6
Gilles 'SO- stop being evil'
24.09.2016, 21:02
Ссылка
2 ответа
Переместите текущую библиотеку, выделенную жирным шрифтом, в другой каталог. Virtual Link (ln -s) - это прежнее имя вашей библиотеки полужирного шрифта DejaVu Sans на любую библиотеку, которую вы хотите.
Вам придется перестроить кэш шрифтов, но такие вещи работают.
0
Dark Matter
27.01.2020, 20:29
Ссылка
Добавление binding = "strong" в вашу первую строку редактирования следующим образом:
<edit name="family" mode="assign" binding="strong"><string>Essential PragmataPro</string></edit>
должно помочь. Также кажется, что ваша вторая строка редактирования:
<edit name="embolden" mode="assign"><bool>false</bool></edit>
не нужна.
3
Isoloid
27.01.2020, 20:29
Ссылка