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", "")
