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()