Issue #1503: increase default size of grid popup text editor

This commit is contained in:
Ansgar Becker
2021-12-29 10:00:32 +01:00
parent aab0f244e2
commit 91be0fcc0a
2 changed files with 12 additions and 12 deletions

View File

@ -3474,8 +3474,8 @@ begin
InitSetting(asCodeFolding, 'CodeFolding', 0, True);
InitSetting(asDisplayBLOBsAsText, 'DisplayBLOBsAsText', 0, True);
InitSetting(asSingleQueries, 'SingleQueries', 0, True);
InitSetting(asMemoEditorWidth, 'MemoEditorWidth', 100);
InitSetting(asMemoEditorHeight, 'MemoEditorHeight', 100);
InitSetting(asMemoEditorWidth, 'MemoEditorWidth', 500);
InitSetting(asMemoEditorHeight, 'MemoEditorHeight', 200);
InitSetting(asMemoEditorMaximized, 'MemoEditorMaximized', 0, False);
InitSetting(asMemoEditorWrap, 'MemoEditorWrap', 0, False);
InitSetting(asMemoEditorHighlighter, 'MemoEditorHighlighter_%s', 0, False, 'General', True);