Отменить с GTK TextView - PullRequest
Новая
       39

Отменить с GTK TextView

9 голосов
/ 16 сентября 2008

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

GTK Textview, похоже, не имеет встроенной функции отмены. Есть ли какая-либо справочная реализация, по которой я до сих пор скучал? Все пишут свои собственные функции отмены для своих виджетов TextView?

Я буду рад любому примеру кода - больше всего рад примеру кода Python, так как наш проект находится на языке Python.

Ответы [ 4 ]

5 голосов
/ 25 февраля 2009

как продолжение: я перенес механизм отмены gtksourceview на python: http://bitbucket.org/tiax/gtk-textbuffer-with-undo/

служит заменой отмены gtksourceview

(здесь OP, но open-id панели запуска больше не работает)

4 голосов
/ 17 сентября 2008

В зависимости от того, насколько вы склонны к зависимости и какой текстовый редактор вы создаете, GtkSourceView добавляет отмену / повтор среди многих других вещей. Очень стоит посмотреть, если вам нужны другие функции , которые он предлагает.

3 голосов
/ 17 сентября 2008

Насколько я знаю, GTK TextView не включает функцию отмены. Так что, хотя я не знаком с библиотекой Python GTK, я думаю, что у нее ее нет.

Проект Ruby-GNOME2 имеет образец текстового редактора , который имеет функцию отмены / возврата. В основном они подключаются к сигналам insert_text и delete_range виджета TextView и записывают события и связанные с ними данные в список.

0 голосов
/ 22 февраля 2018

Использовать GtkSource

.

  • [Cmnd] + [Z] для отмены (по умолчанию)
  • [Cmnd] + [Shift] + [Z] для повтора (по умолчанию)
  • [Cmnd] + [Y] для повтора (добавлено вручную)

пример: 

#!/usr/bin/env python3
# -*- coding: utf-8 -*-

import gi
gi.require_version('Gtk', '3.0')
from gi.repository import Gtk
from gi.repository import Gdk
gi.require_version('GtkSource', '3.0')
from gi.repository import GtkSource

import os


class TreeviewWindow(Gtk.Window):
    def __init__(self):
        Gtk.Window.__init__(self, title="TreeviewWindow")
        self.set_size_request(300, 300)
        self.connect("key-press-event", self._key_press_event)
        self.mainbox = Gtk.VBox(spacing=10)
        self.add(self.mainbox) 

        self.textbuffer = GtkSource.Buffer()
        textview = GtkSource.View(buffer=self.textbuffer)
        textview.set_editable(True)
        textview.set_cursor_visible(True)
        textview.set_show_line_numbers(True)
        self.mainbox.pack_start(textview, True, True, 0)
        self.show_all()  

    def _key_press_event(self, widget, event):
        keyval_name = Gdk.keyval_name(event.keyval)
        ctrl = (event.state & Gdk.ModifierType.CONTROL_MASK)
        if ctrl and keyval_name == 'y':
            if self.textbuffer.can_redo():
                self.textbuffer.do_redo(self.textbuffer)

    def main(self):
        Gtk.main()

if __name__ == "__main__":
    base = TreeviewWindow()
    base.main()
...