diff --git a/pressure-vessel-test-ui b/pressure-vessel-test-ui index 6d5cf521ded4ee60dace3fe43a3bd0ef73515755..f591d31deb17964cd882bcd5458659b1225481dc 100755 --- a/pressure-vessel-test-ui +++ b/pressure-vessel-test-ui @@ -44,6 +44,8 @@ logger = logging.getLogger('pressure-vessel-test-ui') class Gui: def __init__(self): + # type: (...) -> None + self.window = Gtk.Window() self.window.set_default_size(600, 300) self.window.connect('delete-event', Gtk.main_quit) @@ -114,6 +116,7 @@ class Gui: row += 1 def run_cb(self, _ignored=None): + # type: (typing.Any) -> None if self.script_check.get_active(): wrap = 'pressure-vessel-wrap.sh' @@ -159,6 +162,7 @@ class Gui: os.execvp(argv[0], argv) def run(self): + # type: (...) -> None self.window.show_all() Gtk.main()