Question

3

Per file-type preferences in gedit

rated 0 times [ 3] [ 0] / answers: 1 / hits: 807 / 3 Years ago, thu, may 13, 2021, 5:28:36

I'm trying to use gedit for two different tasks: developing Python software and writing Latex documents. Both are based on pure text files, but they are very different: e.g. Python code needs to be aligned to be able to see the structure of the code (loops, functions, ...). Therefore a Monospace font is a good thing. For writing a Latex document, I mainly need readability. This is best achieved with a font that is used in printing and definitly NOT a monospace font.

Is there a way to tell gedit to use per-file-type preferences? E.g. Garamond for *.tex and Monospace for *.py? (But this problem is not limited to the fonts, and also not to Latex and Python).

Answers

Only authorized users can answer the question. Please sign in first, or register a free account.

neasinient

Add To Favorites

Follow

Total Points: 491

Total Questions: 120

Total Answers: 93

Location: The Bahamas

Member since Mon, Aug 2, 2021

3 Years ago

neasinient questions

1 After updating to Ubuntu 22.04, I am no longer able to access Jupyter Notebook

Fri, Apr 8, 22, 20:01, 2 Years ago

1 input sources missing ubuntu "21.10"

Thu, Feb 16, 23, 10:28, 1 Year ago

1 How to configure autozsys, so that it doesn't destroy zfs snapshots older than X time?

Thu, Jul 21, 22, 14:47, 2 Years ago

1 How do I disable/remove Klipper in KDE Plamsa 5?

Fri, Jun 4, 21, 08:14, 3 Years ago

1 How to enable a daisy-chained DisplayPort monitor via USB-C?

Wed, Oct 13, 21, 21:37, 3 Years ago

View All

answered 3 Years ago ngthmated · Accepted Answer

ok, since it seems not possible, I put together a proto-plugin for gedit2 that works for me at the moment. I still hope that someone has a better answer...

~/.gnome2/gedit/plugins/mimeprefs.py

import gedit



class MimePrefsPlugin(gedit.Plugin):

    def __init__(self):

        gedit.Plugin.__init__(self)



    def activate(self, window):

        pass



    def deactivate(self, window):

        pass



    def update_ui(self, window):

        doc = window.get_active_document()

        try:

            mt = doc.get_mime_type()

        except AttributeError:

            return

        view = window.get_active_view()

        if 'x-tex' in mt:

            view.set_font(False, 'Garamond 14')

        elif 'x-python' in mt:

            view.set_font(False, 'Monospace 12')

        else:

            view.set_font(True, 'Monospace 10')

~/.gnome2/gedit/plugins/mimeprefs.gedit-plugin

[Gedit Plugin]

Loader=python

Module=mimeprefs

IAge=2

Name=Mime-Prefs v1

Description=A plugin to set font preferences based on the mimetype of the document

Authors=-

Copyright=Public Domain

Website=None

EDIT: update for gedit3:
plugin files go in ~/.local/share/gedit/plugins/and look like this:

mimeprefs.plugin:

[Plugin]

Loader=python

Module=mimeprefs

IAge=3

Name=Mime-Prefs

Description=A plugin to set font preferences based on the mimetype of the document

Authors=Stefan Schwarzburg

Copyright=Public Domain

Website=None

Version=1.0.0

mimeprefs.py:

from gi.repository import GObject, Gedit





class MimePrefsPlugin(GObject.Object, Gedit.WindowActivatable):

    __gtype_name__ = "MimePrefsPlugin"

    window = GObject.property(type=Gedit.Window)



    def __init__(self):

        GObject.Object.__init__(self)



    def do_activate(self):

        pass



    def do_deactivate(self):

        pass



    def do_update_state(self):

        doc = self.window.get_active_document()

        try:

            mt = doc.get_mime_type()

        except AttributeError:

            return

        view = self.window.get_active_view()

        if 'x-tex' in mt:

            view.set_font(False, 'Garamond 14')

        elif 'x-python' in mt:

            view.set_font(False, 'Monospace 12')

        else:

            view.set_font(True, 'Monospace 10')