Philipp Hörist pushed to branch gtk4 at gajim / gajim


Commits:
738b8918 by Philipp Hörist at 2024-11-01T20:50:12+01:00
cq: Fix types

- - - - -


4 changed files:

- gajim/gtk/builder.py
- gajim/gtk/builder.pyi
- gajim/plugins/helpers.py
- scripts/generate_ui_types.py


Changes:

=====================================
gajim/gtk/builder.py
=====================================
@@ -19,7 +19,7 @@
 log = logging.getLogger('gajim.gtk')
 
 
-class Builder:
+class GajimBuilder:
 
     filename = ''
 
@@ -85,5 +85,5 @@ def get_builder(
     file_name: str,
     instance: Any = None,
     widgets: list[str] | None = None,
-) -> Builder:
-    return Builder(file_name, instance, widgets)
+) -> GajimBuilder:
+    return GajimBuilder(file_name, instance, widgets)


=====================================
gajim/gtk/builder.pyi
=====================================
@@ -6,6 +6,19 @@ from typing import overload
 from gi.repository import Gtk
 from gi.repository import GtkSource
 
+
+class GajimBuilder:
+
+    def __init__(
+        self,
+        filename: str | None = None,
+        instance: Any = None,
+        widgets: list[str] | None = None,
+        domain: str | None = None,
+        gettext_: Any | None = None
+    ) -> None: ...
+
+
 class Builder(Gtk.Builder):
     ...
 


=====================================
gajim/plugins/helpers.py
=====================================
@@ -8,7 +8,7 @@
 
 from gajim.common import configpaths
 
-from gajim.gtk.builder import Builder
+from gajim.gtk.builder import GajimBuilder
 
 from .plugins_i18n import _
 from .plugins_i18n import DOMAIN
@@ -22,12 +22,12 @@ class GajimPluginActivateException(Exception):
 
 def get_builder(
     file_name: str, instance: Any, widgets: list[str] | None = None
-) -> Builder:
-    return Builder(file_name,
-                   instance,
-                   widgets,
-                   domain=DOMAIN,
-                   gettext_=_)
+) -> GajimBuilder:
+    return GajimBuilder(file_name,
+                        instance,
+                        widgets,
+                        domain=DOMAIN,
+                        gettext_=_)
 
 
 def is_shipped_plugin(path: Path) -> bool:


=====================================
scripts/generate_ui_types.py
=====================================
@@ -32,6 +32,19 @@
 from gi.repository import Gtk
 from gi.repository import GtkSource
 
+
+class GajimBuilder:
+
+    def __init__(
+        self,
+        filename: str | None = None,
+        instance: Any = None,
+        widgets: list[str] | None = None,
+        domain: str | None = None,
+        gettext_: Any | None = None
+    ) -> None: ...
+
+
 class Builder(Gtk.Builder):
     ...
 



View it on GitLab: 
https://dev.gajim.org/gajim/gajim/-/commit/738b8918f1b41a85c683151efd493f93597171d1

-- 
View it on GitLab: 
https://dev.gajim.org/gajim/gajim/-/commit/738b8918f1b41a85c683151efd493f93597171d1
You're receiving this email because of your account on dev.gajim.org.


_______________________________________________
Commits mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to