fix: disable folding handles and line numbers in scripts editor gutter for now

This commit is contained in:
Udhay-Adithya
2025-06-05 19:09:30 +05:30
parent fe4858ecd0
commit f158d5de12

View File

@@ -30,6 +30,8 @@ class _ScriptsEditorPaneState extends ConsumerState<ScriptsEditorPane> {
width: 40, // TODO: Fix numbers size width: 40, // TODO: Fix numbers size
margin: 2, margin: 2,
textAlign: TextAlign.left, textAlign: TextAlign.left,
showFoldingHandles: false,
showLineNumbers: false,
), ),
cursorColor: Theme.of(context).colorScheme.primary, cursorColor: Theme.of(context).colorScheme.primary,
controller: widget.controller, controller: widget.controller,