gedit: 줄 사이의 간격을 늘리는 방법은 무엇입니까?

Question 1

외부 도구 플러그인은 줄 사이의 간격을 변경하는 데 도움이 될 수 있습니다.

특히 작업 파일에서 스크립트를 실행하도록 돕고 gedit가 컴퓨터의 다른 프로그램과 상호 작용할 수 있도록 하여 gedit를 확장합니다.

외부 도구 플러그인을 활성화하려면 다음을 선택하십시오.

Gedit ---- 환경 설정 ---- 플러그인 ---- 외부 도구.

플러그인을 활성화한 후에는 필요에 맞게 구성해야 합니다.

구성 옵션은 다음을 선택하여 사용할 수 있습니다.

도구 ---- 외부 도구를 관리합니다.

효과적으로 사용하려면 스크립팅에 대한 지식이 필요합니다.

대화 상자가 나타나고 도구 추가를 시작할 수 있습니다.

도구를 실행하려면 다음으로 이동하세요.

도구 ---- 외부 도구 또는 해당되는 경우 관련 단축키를 사용합니다.

도구 저장 및 수동 편집: /usr/share/gedit/plugins/externaltools/tools.

Gedit용 LineSpacing 플러그인의 예:

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

그리고 두 개의 파일로 구성됩니다.

줄 간격.플러그인:

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

줄 간격.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()

출처:

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