From f158d5de122ba8a9736fad4f1dfaffa8ba53e457 Mon Sep 17 00:00:00 2001 From: Udhay-Adithya Date: Thu, 5 Jun 2025 19:09:30 +0530 Subject: [PATCH] fix: disable folding handles and line numbers in scripts editor gutter for now --- lib/widgets/scripts_editor_pane.dart | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/widgets/scripts_editor_pane.dart b/lib/widgets/scripts_editor_pane.dart index 4935b2d4..921bb836 100644 --- a/lib/widgets/scripts_editor_pane.dart +++ b/lib/widgets/scripts_editor_pane.dart @@ -30,6 +30,8 @@ class _ScriptsEditorPaneState extends ConsumerState { width: 40, // TODO: Fix numbers size margin: 2, textAlign: TextAlign.left, + showFoldingHandles: false, + showLineNumbers: false, ), cursorColor: Theme.of(context).colorScheme.primary, controller: widget.controller,