From e050c62eb204a084101f4f103dcb0f1e31f8afc7 Mon Sep 17 00:00:00 2001 From: jonian Date: Sun, 6 Dec 2020 22:42:21 +0200 Subject: [PATCH] fix uri loading when app already open --- devdocs_desktop.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/devdocs_desktop.py b/devdocs_desktop.py index 57ae1af..40b1073 100755 --- a/devdocs_desktop.py +++ b/devdocs_desktop.py @@ -128,7 +128,8 @@ def quit(self): Gtk.main_quit() def load_uri(self, term): - self.webview.load_uri("%s#q=%s" % (self.app_url, term)) + string = "%s?q=%s" if bool(term) else "%s%s" + self.webview.load_uri(string % (self.app_url, term)) def settings_path(self, filepath=''): root = "%s/devdocs-desktop" % os.path.expanduser('~/.config')