diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-06-30 01:25:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-30 01:25:24 +0200 |
commit | 047cdc9a9f5ec4c0d098f04c8a9eb727f1cef318 (patch) | |
tree | 3f591f42d7cc24fd6974c3323e7098d02002a65d /core/variant/callable.cpp | |
parent | 8a00d7c847931d6213201998c225785b3339224c (diff) | |
parent | c6f57c30c39d43bb5faaa0451d824159d61f32c6 (diff) |
Merge pull request #62511 from Chaosus/fix_doc_title_property
Fix `help_title_font_size` editor property to correctly apply to docs
Diffstat (limited to 'core/variant/callable.cpp')
0 files changed, 0 insertions, 0 deletions