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