diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-06-15 22:55:51 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-15 22:55:51 +0200 |
commit | f4c7d4c5d9a56cdae5222797a0424fbac266dacf (patch) | |
tree | d0adcfd35cdeaa22f0bc6f034579b0ce0587ff76 /modules/mono/editor/mono_bottom_panel.cpp | |
parent | 182b1fb9f16ce8523ce5cc28cd11b66f52dc09e4 (diff) | |
parent | a100471f6b764a9542a2033f037c54d9e9162936 (diff) |
Merge pull request #29811 from Calinou/editor-help-bold-font
Add support for bold fonts in the editor help
Diffstat (limited to 'modules/mono/editor/mono_bottom_panel.cpp')
0 files changed, 0 insertions, 0 deletions