diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-09-04 10:32:03 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-09-04 10:32:03 +0300 |
| commit | e55ba9f1de491b2e8f4c875e1b549c0d09e0bb09 (patch) | |
| tree | fcf789802554d9013b9a84711ac70b5a9bbeb728 /src/gmdocument.c | |
| parent | c2d789f4c7052f8e791c0e27d74adfbf79979db1 (diff) | |
GmDocument: Wider font needs smaller indents
Diffstat (limited to 'src/gmdocument.c')
| -rw-r--r-- | src/gmdocument.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gmdocument.c b/src/gmdocument.c index b246d398..924eee32 100644 --- a/src/gmdocument.c +++ b/src/gmdocument.c | |||
| @@ -307,7 +307,7 @@ static void doLayout_GmDocument_(iGmDocument *d) { | |||
| 307 | tmLinkText_ColorId, | 307 | tmLinkText_ColorId, |
| 308 | }; | 308 | }; |
| 309 | static const int indents[max_GmLineType] = { | 309 | static const int indents[max_GmLineType] = { |
| 310 | 6, 12, 6, 12, 0, 0, 0, 6 | 310 | 5, 10, 5, 10, 0, 0, 0, 5 |
| 311 | }; | 311 | }; |
| 312 | static const float topMargin[max_GmLineType] = { | 312 | static const float topMargin[max_GmLineType] = { |
| 313 | 0.0f, 0.5f, 1.0f, 0.5f, 2.0f, 1.5f, 1.0f, 1.0f | 313 | 0.0f, 0.5f, 1.0f, 0.5f, 2.0f, 1.5f, 1.0f, 1.0f |