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/ui/inputwidget.c | |
| parent | c2d789f4c7052f8e791c0e27d74adfbf79979db1 (diff) | |
GmDocument: Wider font needs smaller indents
Diffstat (limited to 'src/ui/inputwidget.c')
0 files changed, 0 insertions, 0 deletions