From da3496efd62c8c090ea8f3267ba520e16786f518 Mon Sep 17 00:00:00 2001
From: Alice Koreman <alicekor@amazon.nl>
Date: Wed, 20 Nov 2024 17:25:58 +0100
Subject: [PATCH] chore: small tweaks LineWidget type

---
 ace.d.ts | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/ace.d.ts b/ace.d.ts
index de9f7f75e1..659d31b780 100644
--- a/ace.d.ts
+++ b/ace.d.ts
@@ -1112,16 +1112,16 @@ export namespace Ace {
     el: HTMLElement; 
     row: number; 
     rowCount?: number; 
-    hidden: boolean;
-    editor: Editor, 
-    session: EditSession, 
+    hidden?: boolean;
+    editor?: Editor; 
+    session?: EditSession; 
     column?: number; 
-    className?: string,
-    coverGutter?: boolean, 
-    pixelHeight?: number, 
-    fixedWidth?: boolean, 
-    fullWidth?: boolean,
-    screenWidth?: number,
+    className?: string;
+    coverGutter?: boolean; 
+    pixelHeight?: number; 
+    fixedWidth?: boolean; 
+    fullWidth?: boolean;
+    screenWidth?: number;
   }
   
   export class WidgetManager {