GtkSourceView Прокрутите до строки с помощью Gobject Introspection [python]
Я успешно создал приложение Python GTK, используя Gobject Introspection, и открыл исходный файл в виджете GTKSourceView.
Я пытаюсь прокрутить, чтобы поместить определенную линию (строку 150) в центр экрана, когда пользователь нажимает кнопку.
Я прочитал, как (программно) прокрутить до определенной строки в gtktextview/gtksourceview
а также документация, окружающая GtkSourceViews, GTKTextView и объекты буфера для них обоих (насколько я понимаю, исходный вид наследуется от текстового представления)
Я пытался использовать следующие методы:
- получение итератора в строке 150 с последующим использованием метода scroll_to_iter () - получение итератора в строке 150, создание метки на итераторе и затем использование метода scroll_to_mark ()
Я знаю, что итераторы и метки верны, потому что я могу успешно использовать метод place_cursor (iter), и он успешно помещает маркер в конец строки 150, однако прокрутка до метки или итератор с использованием данных методов ничего не делает.
Метод scroll to mark не возвращает значение, но метод итератора возвращает false.
Может кто-нибудь, пожалуйста, предложить способ достичь этого?
Мой тестовый код выглядит следующим образом:
from gi.repository import Gtk
from gi.repository import GObject
from gi.repository import GtkSource
class MyApplication (Gtk.Window):
def __init__(self, *args, **kwargs):
Gtk.Window.__init__(self, *args, **kwargs)
self.set_title("SourceView Test")
self.set_size_request(400, 400)
self.connect("destroy", Gtk.main_quit)
self.create_widgets()
self.show_all()
def create_widgets(self):
self.sourceview=GtkSource.View.new()
self.lm = GtkSource.LanguageManager.new()
self.scrolledwindow = Gtk.ScrolledWindow()
vbox = Gtk.VBox()
self.add(vbox)
vbox.pack_start(self.scrolledwindow,True,True,0)
self.scrolledwindow.add_with_viewport(self.sourceview)
self.scrolledwindow.show_all()
button = Gtk.Button("Jump To Line")
button.connect("clicked", self.scroll_to_line_and_mark)
self.open_file_in_srcview("/home/tel0s/source_android/system/core/adb/adb.c")
vbox.pack_start(button, False, False, 5)
def open_file_in_srcview(self,filename,*args,**kwargs):
self.buffer = self.sourceview.get_buffer()
self.filename = filename
self.language = self.lm.guess_language(self.filename,None)
self.sourceview.set_show_line_numbers(True)
if self.language:
self.buffer.set_highlight_syntax(True)
self.buffer.set_language(self.language)
else:
print 'No language found for file "%s"' % self.filename
self.buffer.set_highlight_syntax(False)
txt = open(self.filename).read()
self.buffer.set_text(txt)
self.buffer.place_cursor(self.buffer.get_start_iter())
def scroll_to_line_and_mark(self,*args,**kwargs):
print "setting iterator"
iterator = self.sourceview.get_buffer().get_iter_at_line(150)
print iterator
print "scrolling to iter"
if self.sourceview.scroll_to_iter(iterator,0, False, 0.5, 0.5):
print "done!"
else:
print "scrolling failed!!"
if __name__ == "__main__":
MyApplication()
Gtk.main()
1 ответ
Таким образом, проблема заключается в следующем:
self.scrolledwindow.add_with_viewport(self.sourceview)
Согласно документации Gtk для объектов scrolledwindow, вы должны использовать только add_with_viewport
для объектов, которые не поддерживают прокрутку. Для тех, кто любит изначально GtkTextView
(и так по наследству GtkSourceView
), вы должны использовать GtkContainer.add()
...
надеюсь, это поможет