Typing for Welcome demo

workbenchdev · Apr 22, 2024 · b337cd3 · b337cd3
1 parent fcc9d5b
commit b337cd3
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 4 deletions.
diff --git a/python-aux/workbench-typestubs/MANIFEST.in b/python-aux/workbench-typestubs/MANIFEST.in
@@ -1,2 +1,2 @@
 include workbench/py.typed
-recursive-include  workbench *.pyi
+recursive-include workbench *.pyi
diff --git a/python-aux/workbench-typestubs/pyproject.toml b/python-aux/workbench-typestubs/pyproject.toml
@@ -1,6 +1,6 @@
 [build-system]
-requires = ["setuptools"]  # REQUIRED if [build-system] table is used
-build-backend = "setuptools.build_meta"  # If not defined, then legacy behavior can happen.
+requires = ["setuptools"]
+build-backend = "setuptools.build_meta"
 
 [project]
 name = "workbench-typestubs"

diff --git a/src/Welcome/main.py b/src/Welcome/main.py
@@ -1,3 +1,5 @@
+from typing import cast
+
 import gi
 
 gi.require_version("Gtk", "4.0")
@@ -19,7 +21,7 @@ def dialog_response(dialog, response):
     dialog.close()
 
 
-subtitle_box: Gtk.Box = workbench.builder.get_object("subtitle")
+subtitle_box = cast(Gtk.Box, workbench.builder.get_object("subtitle"))
 
 button = Gtk.Button(label="Press me", margin_top=6, css_classes=["suggested-action"])
 button.connect("clicked", greet)