feat: add padding to scripts pane ui

This commit is contained in:
Udhay-Adithya
2025-06-29 00:21:29 +05:30
parent 9e0e8211a4
commit 4875c51f0f

View File

@ -23,17 +23,15 @@ class _ScriptsEditorPaneState extends ConsumerState<ScriptsEditorPane> {
@override @override
Widget build(BuildContext context) { Widget build(BuildContext context) {
final settings = ref.watch(settingsProvider); final settings = ref.watch(settingsProvider);
return Container( return Padding(
decoration: BoxDecoration( padding: kPt5o10,
borderRadius: BorderRadius.circular(9),
color: Theme.of(context).colorScheme.surfaceContainerLowest,
),
child: CodeTheme( child: CodeTheme(
data: CodeThemeData( data: CodeThemeData(
styles: settings.isDark ? monokaiTheme : xcodeTheme, styles: settings.isDark ? monokaiTheme : xcodeTheme,
), ),
child: SingleChildScrollView( child: SingleChildScrollView(
child: CodeField( child: CodeField(
minLines: 35,
readOnly: widget.readOnly, readOnly: widget.readOnly,
smartDashesType: SmartDashesType.enabled, smartDashesType: SmartDashesType.enabled,
smartQuotesType: SmartQuotesType.enabled, smartQuotesType: SmartQuotesType.enabled,
@ -50,6 +48,13 @@ class _ScriptsEditorPaneState extends ConsumerState<ScriptsEditorPane> {
textStyle: kCodeStyle.copyWith( textStyle: kCodeStyle.copyWith(
fontSize: Theme.of(context).textTheme.bodyMedium?.fontSize, 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,
),
), ),
), ),
), ),