lint

2026-06-05 19:34:24 +00:00 · 2023-08-02 18:16:19 +02:00
parent 2e91cf8e03
commit a200aca90a
1 changed files with 5 additions and 1 deletions
@@ -19,7 +19,11 @@ interface Widget {
    sensitive?: boolean
    tooltip?: string
    visible?: boolean
-    connections?: ([string, (...args: any[]) => any] | [number, (...args: any[]) => any] | [ServiceAPI, (...args: any[]) => any, string])[]
+    connections?: (
+        [string, (...args: any[]) => any] |
+        [number, (...args: any[]) => any] |
+        [ServiceAPI, (...args: any[]) => any, string]
+    )[]
    properties?: [any, any][]
    setup?: (widget: Gtk.Widget) => void
 }