diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-05-02 08:12:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-02 08:12:28 +0200 |
| commit | 476c3be471b3a27884184572e5252403be78587e (patch) | |
| tree | 789ea6eee01f65cb9ee8d719d41a4288dcb22e60 /editor/node_dock.h | |
| parent | 46b6fb83efc8e021cf60502d1e42fdd912b020eb (diff) | |
| parent | 818f756d9034abe8b1ab4ecc014666893fcb00b6 (diff) | |
Merge pull request #28588 from Calinou/dynamicfont-add-size-hint
Add a property hint for DynamicFont size
Diffstat (limited to 'editor/node_dock.h')
0 files changed, 0 insertions, 0 deletions