From f205e4fa6634006fe52df90ca10b1f6139e83864 Mon Sep 17 00:00:00 2001 From: DYefremov Date: Fri, 22 Sep 2023 17:57:05 +0300 Subject: [PATCH] minor fix for extension manager * version update on download --- app/ui/extensions/management.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/app/ui/extensions/management.py b/app/ui/extensions/management.py index ed86ec10..092fd473 100644 --- a/app/ui/extensions/management.py +++ b/app/ui/extensions/management.py @@ -276,7 +276,7 @@ class ExtensionManager(Gtk.Window): try: for f in resp.json(): url = f.get("download_url", None) - ver = f.get("version", "1.0") + ver = f.get("version", ver) if url: urls[url] = f.get("name", None) except ValueError as e: