def __init__(self, **kwargs):
super().__init__(**kwargs)
self.page_sep = 5
self.doc = None
self.scale = 1
self.x = None
self.y = None
self.path = None
layout = Gtk.BinLayout()
self.set_layout_manager(layout)
self.stack.set_visible_child_name("empty")
controller = Gtk.EventControllerScroll()
controller.connect("scroll", self.on_scroll)
#controller.set_propagation_phase(Gtk.PropagationPhase.BUBBLE)
controller.set_flags(Gtk.EventControllerScrollFlags.VERTICAL)
self.box.add_controller(controller)
# As can't get event coordinates, need to store pointer coordinates
controller = Gtk.EventControllerMotion()
controller.connect("motion", self.on_motion)
self.add_controller(controller)
def __init__(self):
super().__init__()
layout = Gtk.BinLayout()
self.set_layout_manager(layout)
buffer = LatexBuffer()
self.sourceview.set_buffer(buffer)
buffer.connect("changed",
lambda _: self.set_property("modified", True))
self.file = None
self.to_compile = False
def __init__(self):
super().__init__()
layout = Gtk.BinLayout()
self.set_layout_manager(layout)
self.logprocessor = LogProcessor()
