Lines 1241-1247
begin
Link Here
|
1241 |
fTabWidth := 8; |
1241 |
fTabWidth := 8; |
1242 |
|
1242 |
|
1243 |
// Display options |
1243 |
// Display options |
1244 |
fEditorFont := 'courier'; |
1244 |
fEditorFont := '-misc-fixed-medium-r-normal-*-13-*-*-*-*-*-iso10646-1'; |
1245 |
|
1245 |
|
1246 |
// Key Mappings |
1246 |
// Key Mappings |
1247 |
fKeyMappingScheme := 'default'; |
1247 |
fKeyMappingScheme := 'default'; |
Lines 1362-1370
begin
Link Here
|
1362 |
XMLConfig.GetValue('EditorOptions/Display/VisibleRightMarginColor' |
1362 |
XMLConfig.GetValue('EditorOptions/Display/VisibleRightMarginColor' |
1363 |
, clBtnFace); |
1363 |
, clBtnFace); |
1364 |
fEditorFont := |
1364 |
fEditorFont := |
1365 |
XMLConfig.GetValue('EditorOptions/Display/EditorFont', 'courier'); |
1365 |
XMLConfig.GetValue('EditorOptions/Display/EditorFont', '-misc-fixed-medium-r-normal-*-13-*-*-*-*-*-iso10646-1'); |
1366 |
fEditorFontHeight := |
1366 |
fEditorFontHeight := |
1367 |
XMLConfig.GetValue('EditorOptions/Display/EditorFontHeight', 12); |
1367 |
XMLConfig.GetValue('EditorOptions/Display/EditorFontHeight', 13); |
1368 |
fExtraLineSpacing := |
1368 |
fExtraLineSpacing := |
1369 |
XMLConfig.GetValue('EditorOptions/Display/ExtraLineSpacing', 1); |
1369 |
XMLConfig.GetValue('EditorOptions/Display/ExtraLineSpacing', 1); |
1370 |
FDoNotWarnForFont := |
1370 |
FDoNotWarnForFont := |
Lines 1491-1499
begin
Link Here
|
1491 |
XMLConfig.SetDeleteValue('EditorOptions/Display/RightMarginColor', |
1491 |
XMLConfig.SetDeleteValue('EditorOptions/Display/RightMarginColor', |
1492 |
fRightMarginColor, clBtnFace); |
1492 |
fRightMarginColor, clBtnFace); |
1493 |
XMLConfig.SetDeleteValue('EditorOptions/Display/EditorFont', |
1493 |
XMLConfig.SetDeleteValue('EditorOptions/Display/EditorFont', |
1494 |
fEditorFont, 'courier'); |
1494 |
fEditorFont, '-misc-fixed-medium-r-normal-*-13-*-*-*-*-*-iso10646-1'); |
1495 |
XMLConfig.SetDeleteValue('EditorOptions/Display/EditorFontHeight' |
1495 |
XMLConfig.SetDeleteValue('EditorOptions/Display/EditorFontHeight' |
1496 |
,fEditorFontHeight, 12); |
1496 |
,fEditorFontHeight, 13); |
1497 |
XMLConfig.SetDeleteValue('EditorOptions/Display/ExtraLineSpacing' |
1497 |
XMLConfig.SetDeleteValue('EditorOptions/Display/ExtraLineSpacing' |
1498 |
,fExtraLineSpacing, 1); |
1498 |
,fExtraLineSpacing, 1); |
1499 |
XMLConfig.SetDeleteValue('EditorOptions/Display/DoNotWarnForFont' |
1499 |
XMLConfig.SetDeleteValue('EditorOptions/Display/DoNotWarnForFont' |