def show_todo_marks(self, *args):
debug("opening list of todo marks")
# getting variables
root, title = self.get_root_directory()
debug("title: %s" % title)
debug("root: %s" % root)
html_str = parse_directory(root)
if self.todo_window:
self.todo_window.show()
self.todo_window.grab_focus()
else:
self._browser = BrowserPage()
self._browser.connect('navigation-requested', self.on_navigation_request)
self.todo_window = gtk.Window()
self.todo_window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DIALOG)
self.todo_window.resize(700,510)
self.todo_window.connect('delete_event', self.on_todo_close)
self.todo_window.connect("key-release-event", self.on_window_key)
self.todo_window.set_destroy_with_parent(True)
self.todo_window.add(self._browser)
self.todo_window.show_all()
self.todo_window.set_title(title)
self._browser.load_string(html_str, "text/html", "utf-8", "about:")
def show_todo_marks(self, *args):
debug("opening list of todo marks")
# getting variables
root, title = self.get_root_directory()
debug("title: %s" % title)
debug("root: %s" % root)
html_str = parse_directory(root)
if self.todo_window:
self.todo_window.show()
self.todo_window.grab_focus()
else:
self._browser = BrowserPage()
self._browser.connect('navigation-requested',
self.on_navigation_request)
self.todo_window = gtk.Window()
self.todo_window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DIALOG)
self.todo_window.resize(700, 510)
self.todo_window.connect('delete_event', self.on_todo_close)
self.todo_window.connect("key-release-event", self.on_window_key)
self.todo_window.set_destroy_with_parent(True)
self.todo_window.add(self._browser)
self.todo_window.show_all()
self.todo_window.set_title(title)
self._browser.load_string(html_str, "text/html", "utf-8", "file://")
def show_todo_marks(self, *args):
# getting variables
root, title = self.get_root_directory()
html_str = parse_directory(root)
if self.todo_window:
self.todo_window.show()
self.todo_window.grab_focus()
else:
self._browser = BrowserPage()
self._browser.connect("navigation-requested", self.on_navigation_request)
self.todo_window = Gtk.Window()
self.todo_window.set_type_hint(Gdk.WindowTypeHint.DIALOG)
self.todo_window.resize(700, 510)
self.todo_window.connect("delete_event", self.on_todo_close)
self.todo_window.connect("key-release-event", self.on_window_key)
self.todo_window.set_destroy_with_parent(True)
self.todo_window.add(self._browser)
self.todo_window.show_all()
self.todo_window.set_title(title)
self._browser.load_string(html_str, "text/html", "utf-8", "file://")