plugins: Add preferences for text font and color in the Developer Console

Desktop / GNOME / PiTiVi - Fabian Orccon [gmail.com] - 7 August 2018 17:39 UTC

8e8bba71 plugins: Add preferences for text font and color in the Developer Console
pitivi/settings.py | 49 ++++++++++++++++
plugins/console/console.py | 118 ++++++++++++++++++++++++++++++++++++++-
plugins/console/consolebuffer.py | 20 +++++--
plugins/console/utils.py | 9 +--
plugins/console/widgets.py | 85 +++++++++++++++++++++++++++-
5 files changed, 268 insertions(+), 13 deletions(-)

Upstream: git.gnome.org

  • Share