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 /servers/audio_server.cpp | |
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 'servers/audio_server.cpp')
0 files changed, 0 insertions, 0 deletions