diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-21 21:45:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-21 21:45:52 +0100 |
| commit | 6190690757ca322393f13e44bc2ceed79b362b45 (patch) | |
| tree | eaab4813a22e942a68b77ea5247eebfaac46e686 /editor | |
| parent | 79aaafc686ac57ea535d0542e123e9f45a097e69 (diff) | |
| parent | 0be64da008e0f63ced2a581b6b85300c915edf6b (diff) | |
Merge pull request #35411 from akien-mga/greater-font-sizes-for-everyone
Allow greater values for DynamicFont size property
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions