def __init__(self): RichTextView.__init__(self) tag_table = self._textbuffer.get_tag_table() tag_table.new_tag_class("h3", RichTextH3Tag) # 14pt corresponds to h3 tag_table.tag_class_add("h3", RichTextModTag("h3", weight=pango.WEIGHT_BOLD, size_points=16)) self.connect("visit-url", self._on_visit_url) self._html_buffer = RedNotebookHtmlBuffer() self.enable_spell_check(False)
def __init__(self, app): gtk.VBox.__init__(self, False, 0) self._app = app self._notebook = None # state self._textview = RichTextView() # textview self._page = None # current NoteBookPage self._page_scrolls = {} # remember scroll in each page self._page_cursors = {} self._textview_io = RichTextIO() self._sw = gtk.ScrolledWindow() self._sw.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC) self._sw.set_shadow_type(gtk.SHADOW_IN) self._sw.add(self._textview) self.pack_start(self._sw) self._textview.connect("font-change", self._on_font_callback) self._textview.connect("modified", self._on_modified_callback) self._textview.connect("child-activated", self._on_child_activated) self._textview.connect("visit-url", self._on_visit_url) self._textview.disable() self.show_all()
def __init__(self): RichTextView.__init__(self) tag_table = self._textbuffer.get_tag_table() tag_table.new_tag_class("h3", RichTextH3Tag) # 14pt corresponds to h3 tag_table.tag_class_add( "h3", RichTextModTag("h3", weight=pango.WEIGHT_BOLD, size_points=16)) self.connect("visit-url", self._on_visit_url) self._html_buffer = RedNotebookHtmlBuffer() self.enable_spell_check(False)
class KeepNoteEditor (gtk.VBox): def __init__(self, app): gtk.VBox.__init__(self, False, 0) self._app = app self._notebook = None # state self._textview = RichTextView() # textview self._page = None # current NoteBookPage self._page_scrolls = {} # remember scroll in each page self._page_cursors = {} self._textview_io = RichTextIO() self._sw = gtk.ScrolledWindow() self._sw.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC) self._sw.set_shadow_type(gtk.SHADOW_IN) self._sw.add(self._textview) self.pack_start(self._sw) self._textview.connect("font-change", self._on_font_callback) self._textview.connect("modified", self._on_modified_callback) self._textview.connect("child-activated", self._on_child_activated) self._textview.connect("visit-url", self._on_visit_url) self._textview.disable() self.show_all() def set_notebook(self, notebook): """Set notebook for editor""" # remove listener for old notebook if self._notebook: self._notebook.node_changed.remove(self._on_notebook_changed) # set new notebook self._notebook = notebook if self._notebook: # add listener and read default font self._notebook.node_changed.add(self._on_notebook_changed) self._textview.set_default_font(self._notebook.pref.default_font) else: # no new notebook, clear the view self.clear_view() def _on_notebook_changed(self, node, recurse): self._textview.set_default_font(self._notebook.pref.default_font) def _on_font_callback(self, textview, font): self.emit("font-change", font) def _on_modified_callback(self, textview, modified): self.emit("modified", self._page, modified) def _on_child_activated(self, textview, child): self.emit("child-activated", textview, child) def _on_visit_url(self, textview, url): try: self._app.open_webpage(url) except KeepNoteError, e: self.emit("error", e.msg, e)
class KeepNoteEditor(gtk.VBox): def __init__(self, app): gtk.VBox.__init__(self, False, 0) self._app = app self._notebook = None # state self._textview = RichTextView() # textview self._page = None # current NoteBookPage self._page_scrolls = {} # remember scroll in each page self._page_cursors = {} self._textview_io = RichTextIO() self._sw = gtk.ScrolledWindow() self._sw.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC) self._sw.set_shadow_type(gtk.SHADOW_IN) self._sw.add(self._textview) self.pack_start(self._sw) self._textview.connect("font-change", self._on_font_callback) self._textview.connect("modified", self._on_modified_callback) self._textview.connect("child-activated", self._on_child_activated) self._textview.connect("visit-url", self._on_visit_url) self._textview.disable() self.show_all() def set_notebook(self, notebook): """Set notebook for editor""" # remove listener for old notebook if self._notebook: self._notebook.node_changed.remove(self._on_notebook_changed) # set new notebook self._notebook = notebook if self._notebook: # add listener and read default font self._notebook.node_changed.add(self._on_notebook_changed) self._textview.set_default_font(self._notebook.pref.default_font) else: # no new notebook, clear the view self.clear_view() def _on_notebook_changed(self, node, recurse): self._textview.set_default_font(self._notebook.pref.default_font) def _on_font_callback(self, textview, font): self.emit("font-change", font) def _on_modified_callback(self, textview, modified): self.emit("modified", self._page, modified) def _on_child_activated(self, textview, child): self.emit("child-activated", textview, child) def _on_visit_url(self, textview, url): try: self._app.open_webpage(url) except KeepNoteError, e: self.emit("error", e.msg, e)