diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-08-04 14:54:02 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-08-04 14:54:02 +0300 |
| commit | 137d5b32a4b8d29e9a9578a1fb47c673290647be (patch) | |
| tree | 96b69b479aa6d14e88b0da5cfa664c7dfcddb634 /.gitignore | |
| parent | eb1e613d1309c51e299888290766896a850e9171 (diff) | |
Changing the document content text size
The glyph cache is purged whenever font sizes change. UI fonts are
deliberately not changed in size so that UI metrics don't have to be
recomputed.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
| @@ -1,3 +1,5 @@ | |||
| 1 | .DS_Store | 1 | .DS_Store |
| 2 | *.user | 2 | *.user |
| 3 | build-* | 3 | build-* |
| 4 | /.vsbuild | ||
| 5 | /.vscode | ||