From a200aca90ac8b9f4b1d32bf206c817424ccb0702 Mon Sep 17 00:00:00 2001 From: Aylur Date: Wed, 2 Aug 2023 18:16:19 +0200 Subject: [PATCH] lint --- src/widget.ts | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/widget.ts b/src/widget.ts index 723d639..bd0e805 100644 --- a/src/widget.ts +++ b/src/widget.ts @@ -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 }