Merge pull request #328 from NBA2K1/main

Issue #307 fix
This commit is contained in:
Moustapha Kodjo Amadou 2024-12-08 00:01:23 +01:00 committed by GitHub
commit 86e145d5df
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -153,6 +153,13 @@ class _CodeEditorState extends ConsumerState<CodeEditor> {
child: SingleChildScrollView(
child: CodeField(
controller: controller,
gutterStyle: const GutterStyle(
textStyle: TextStyle(
color: Colors.grey,
height: 1.5, // Issue #307 fix, found in package: flutter-code-editor issue #270
),
showLineNumbers:true,
),
onChanged: (a) {
setState(() {
source?.sourceCode = a;