diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-11-28 10:39:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-28 10:39:56 +0100 |
| commit | aa08ef2bed34510cfb18ce3e1e5cdd9c009981be (patch) | |
| tree | 9f45391ad023981c5c3a93f09c30ddfea53058db /modules/etc | |
| parent | 6612d2cb2bb7468475e58b70eff2408996825cd8 (diff) | |
| parent | 9dc15bae7cec07578984cbe9737831e1ebbdb0ad (diff) | |
Merge pull request #23924 from Kanabenki/font-size-update
Display font size with zoom in code editor and refresh on settings change
Diffstat (limited to 'modules/etc')
0 files changed, 0 insertions, 0 deletions