chore: small tweaks LineWidget type (#5683)

Co-authored-by: Alice Koreman <[email protected]>
ajaxorg · Nov 21, 2024 · b3625f3 · b3625f3
1 parent 442680c
commit b3625f3
Showing 1 changed file with 9 additions and 9 deletions.
diff --git 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 {