Изменение шрифта программно для GTK3 TextView (быстро-виджеты TextEditor)

Да, это должно быть прекрасно. Место подкачки используется, когда в системе слишком много приложений, работающих для хранения всех своих данных в памяти; это особенность системы подкачки / виртуальной памяти. Если вы полностью отключили машину до перераспределения, не должно быть никаких данных в области подкачки, и вы должны иметь возможность безопасно расширять ее.

1
задан 30 August 2012 в 18:31

1 ответ

Вы должны иметь возможность использовать текстовые файлы для этого, но я не уверен, что это лучший способ.

Сначала вы выберете весь текст, вот страница с сайта readthedocs по применению тегов.

И здесь список свойств из ссылки C / C ++.

Просто добавлю это ... Мне недавно нужно было сделать что-то подобное, и мне пришлось немного придумать этот фрагмент:

self.textview = Gtk.TextView()
self.textview.override_font(
    Pango.font_description_from_string('DejaVu Sans Mono 12')
    )
2
ответ дан 25 May 2018 в 07:02
  • 1
    Спасибо @ aking1012. Но я действительно ищу что-то более низкое. Если теперь поставщики стилей CSS должны быть стандартным способом стилизации виджета GTK, мне кажется, что все равно должен быть способ динамически устанавливать эту информацию стиля. – monotasker 29 August 2012 в 21:35
  • 2
    Это справедливо, но вы хотите: a) установить динамически и b) использовать css. Ну, установка динамически включает вызов функции в любом случае, и загрузка файлов CSS для переключения между ними кажется мне интуитивной. Я бы установил его либо a) один раз в файле поля или b) через вызовы функций. – RobotHumans 29 August 2012 в 22:31
  • 3
    Да, @ aking1012, я понимаю, что вы имеете в виду. Просто GTK3 api (и PyGI) предоставляет методы для установки большинства функций стиля по всему миру для объекта виджета, даже если у вас есть настройки по умолчанию в вашем провайдере CSS. Мне кажется странным, что нет ничего похожего на свойства шрифта, поэтому я надеюсь, что я что-то пропустил. Я думаю, что теги предназначены для работы с фрагментами текста, а не для установки глобальных стилей в виджетах. – monotasker 30 August 2012 в 18:26
  • 4
    Я тоже вижу ваш вопрос. – RobotHumans 30 August 2012 в 18:28
  • 5
    Я не знаю точно, как решить вашу проблему, но есть GtkFontChooserWidget developer.gnome.org/gtk3/stable/GtkFontChooserWidget.html Возможно, вы можете как-то использовать его. – mivoligo 31 August 2012 в 01:31

Другие вопросы по тегам:

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