gedit: Wie kann man den Zeilenabstand vergrößern?

Question 1

Mit dem Plugin „External Tools“ können Sie den Zeilenabstand ändern.

Insbesondere erweitert es gedit, indem es Ihnen hilft, Skripte auf Ihren Arbeitsdateien auszuführen und indem es gedit die Interaktion mit anderen Programmen auf Ihrem Computer ermöglicht.

Um das Plugin „Externe Tools“ zu aktivieren, wählen Sie:

Gedit ---- Einstellungen ---- Plugins ---- Externe Tools.

Nachdem Sie das Plugin aktiviert haben, müssen Sie es Ihren Anforderungen entsprechend konfigurieren.

Die Konfigurationsoptionen sind verfügbar, indem Sie Folgendes auswählen:

Tools ---- Externe Tools verwalten.

Für die effektive Nutzung sind Skriptkenntnisse erforderlich.

Ein Dialogfeld wird angezeigt und Sie können mit dem Hinzufügen von Tools beginnen.

Um Tools auszuführen, gehen Sie zu:

Tools ---- Externe Tools oder verwenden Sie ggf. die zugehörigen Tastenkombinationen.

Speicherung und manuelle Bearbeitung von Tools: /usr/share/gedit/plugins/externaltools/tools.

Ein Beispiel für ein LineSpacing-Plugin für Gedit in:

http://natural966.wordpress.com/2012/08/19/my-linespacing-plugin-for-gedit-3/

Und besteht aus zwei Dateien:

Zeilenabstand.Plugin:

[Plugin]
Loader=python
Module=linespacing
IAge=3
Name=Line-spacing
Description=Increase or decrease space between lines
Authors=
Copyright=
Website=

Zeilenabstand.py:

from gi.repository import GObject, Gtk, Gedit

UI_XML = """<ui>
<menubar name="MenuBar">
    <menu name="ToolsMenu" action="Tools">
      <placeholder name="ToolsOps_3">
        <menuitem name="LineSpacingAction0" action="LineSpacingAction0"/>
        <menuitem name="LineSpacingAction1" action="LineSpacingAction1"/>
        <menuitem name="LineSpacingAction2" action="LineSpacingAction2"/>
      </placeholder>
    </menu>
</menubar>
</ui>"""

class LineSpacing(GObject.Object, Gedit.WindowActivatable):
    __gtype_name__ = "LineSpacing"
    window = GObject.property(type=Gedit.Window)

    def __init__(self):
        GObject.Object.__init__(self)

    def _add_ui(self):
        manager = self.window.get_ui_manager()
        self._actions = Gtk.ActionGroup("LineSpacingActions")
        self._actions.add_actions([
            ('LineSpacingAction0', Gtk.STOCK_INFO, "Reset Line spacing", 
                "<Control><Alt>0", "Reset Line spacing", 
                self.on_linespacing_action_activate0),
            ('LineSpacingAction1', Gtk.STOCK_INFO, "Decrease Line spacing", 
                "<Control><Alt>8", "Decrease Line spacing", 
                self.on_linespacing_action_activate1),
            ('LineSpacingAction2', Gtk.STOCK_INFO, "Increase Line spacing", 
                "<Control><Alt>9", "Increase Line spacing", 
                self.on_linespacing_action_activate2),
        ])
        manager.insert_action_group(self._actions)
        self._ui_merge_id = manager.add_ui_from_string(UI_XML)
        manager.ensure_update()

    def do_activate(self):
        self._add_ui()

    def do_deactivate(self):
        self._remove_ui()

    def do_update_state(self):
        pass

    def on_linespacing_action_activate0(self, action, data=None):
        view = self.window.get_active_view()
        if view:
            view.set_pixels_below_lines(0)
            view.set_pixels_inside_wrap(0)

    def on_linespacing_action_activate1(self, action, data=None):
        view = self.window.get_active_view()
        if view:
            if view.get_pixels_below_lines() >= 0:
                view.set_pixels_below_lines(view.get_pixels_below_lines() - 1)
            if view.get_pixels_inside_wrap() >= 0:
                view.set_pixels_inside_wrap(view.get_pixels_inside_wrap() - 1)

    def on_linespacing_action_activate2(self, action, data=None):
        view = self.window.get_active_view()
        if view:
            view.set_pixels_below_lines(view.get_pixels_below_lines() + 1)
            view.set_pixels_inside_wrap(view.get_pixels_inside_wrap() + 1)

    def _remove_ui(self):
        manager = self.window.get_ui_manager()
        manager.remove_ui(self._ui_merge_id)
        manager.remove_action_group(self._actions)
        manager.ensure_update()

Quellen:

http://natural966.wordpress.com/2012/08/19/my-linespacing-plugin-for-gedit-3/

http://www.micahcarrick.com/writing-plugins-for-gedit-3-in-python.html

https://wiki.gnome.org/Projects/Vala/Gedit3PluginSample

Answer