diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-08-04 06:48:18 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-08-04 06:48:18 +0300 |
commit | a3cfeba41e5cd25d9e2e2c8022281b0dbdb82407 (patch) | |
tree | 8474a6e9b2a0665ff05ad55482def1b08466fa3d /src/ui/inputwidget.c | |
parent | 79ea5742327771a7cca91815d5630775d44c549d (diff) |
DocumentWidget: Slightly wider minimum borders
Diffstat (limited to 'src/ui/inputwidget.c')
0 files changed, 0 insertions, 0 deletions