def __init__(self, builder, filename): BaseWindow.__init__(self) if not WEBKIT: return try: fname = os.path.join(HELP_PATH, filename) f = open(fname) data = f.read() except IOError as msg: data = "Help file '{0}' could not be found\n{1}".format(fname, str(msg)) if HelpWindow.window is None: HelpWindow.window = builder.get_object("help_win") self.configure(HelpWindow.window) HelpWindow.wkit = webkit.WebView() HelpWindow.container = builder.get_object("help_scroll") HelpWindow.container.add(HelpWindow.wkit) HelpWindow.button = builder.get_object("help_close") HelpWindow.button.connect("clicked", self.hide) HelpWindow.window.connect("destroy", self.destroy) HelpWindow.window.connect("delete_event", self.delete) HelpWindow.wkit.load_string(html_string(data), "text/html", "utf-8", "") HelpWindow.window.show_all()
def __update_text(self): """ Extracts text from the buffer, converts it to HTML, and loads it into the webkit display """ text = self.__text_buffer.get_text(self.__text_buffer.get_start_iter(), self.__text_buffer.get_end_iter()) if self.__active_db: data = [] for reg in self.__active_db.get_all_registers(): data.append(".. _`{0}`: /".format(reg.register_name)) text = text + "\n\n" + "\n".join(data) self.__webkit.load_string(html_string(text), "text/html", "utf-8", "")