def search(self, event): query = self._searchbox.get_text() if not query: return True self._message.set_text('Loading...') self._spinner.show() self._spinner.start() gtk.gdk.window_process_all_updates() self._path = filebrowser_root() if not query in self._searched: self._history.set(self._history.append(), 0, query) self._searched.append(query) parser = FindInProjectParser(query, url2pathname(self._path)[7:], context=self._show_context.get_active(), regex=self._use_regex.get_active(), ignorecase=self._ignore_case.get_active(), filetype=self._extbox.get_text()) self._browser.load_string(style_str + parser.html(), "text/html", "utf-8", "about:") self._message.set_text('%d line(s) matched in %d file(s)' % parser.status()) self._spinner.stop() self._spinner.hide()
def search(self, event): self._path = filebrowser_root() query = self._searchbox.get_text() self._history.set(self._history.append(), 0, query) html = FindInProjectParser(query, url2pathname(self._path)[7:]).html() self._browser.load_string(style_str + html, "text/html", "utf-8", "about:")