From 4875c51f0fdb16777a52bacfbf5c41eb4baf511e Mon Sep 17 00:00:00 2001 From: Udhay-Adithya Date: Sun, 29 Jun 2025 00:21:29 +0530 Subject: [PATCH] feat: add padding to scripts pane ui --- lib/widgets/scripts_editor_pane.dart | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/lib/widgets/scripts_editor_pane.dart b/lib/widgets/scripts_editor_pane.dart index 1e028d9c..f2d795a0 100644 --- a/lib/widgets/scripts_editor_pane.dart +++ b/lib/widgets/scripts_editor_pane.dart @@ -23,17 +23,15 @@ class _ScriptsEditorPaneState extends ConsumerState { @override Widget build(BuildContext context) { final settings = ref.watch(settingsProvider); - return Container( - decoration: BoxDecoration( - borderRadius: BorderRadius.circular(9), - color: Theme.of(context).colorScheme.surfaceContainerLowest, - ), + return Padding( + padding: kPt5o10, child: CodeTheme( data: CodeThemeData( styles: settings.isDark ? monokaiTheme : xcodeTheme, ), child: SingleChildScrollView( child: CodeField( + minLines: 35, readOnly: widget.readOnly, smartDashesType: SmartDashesType.enabled, smartQuotesType: SmartQuotesType.enabled, @@ -50,6 +48,13 @@ class _ScriptsEditorPaneState extends ConsumerState { textStyle: kCodeStyle.copyWith( fontSize: Theme.of(context).textTheme.bodyMedium?.fontSize, ), + decoration: BoxDecoration( + borderRadius: BorderRadius.circular(9), + border: Border.all( + color: Theme.of(context).colorScheme.surfaceContainerHighest, + ), + color: Theme.of(context).colorScheme.surfaceContainerLowest, + ), ), ), ),