diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-10-25 23:17:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-25 23:17:59 +0200 |
commit | c39238c7d2da1a65edd2b082984902bb0a5545fc (patch) | |
tree | f8fb1f9d4d9019fdc65a50d4d043f2be0f5426c5 /editor/script_create_dialog.h | |
parent | c43c3747cfbb21385c09e887d93f6808f9a5bc6d (diff) | |
parent | 47000f88603e493e1d4083b7d9a7ea354f91f3cd (diff) |
Merge pull request #32870 from bergmannf/27850_rtl_bold_italic
Add push_* methods for fonts in rich_text_label
Diffstat (limited to 'editor/script_create_dialog.h')
0 files changed, 0 insertions, 0 deletions