diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-02-19 21:28:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-19 21:28:55 +0100 |
| commit | 2a723519c042e0a143807e0b3e6a7367bfcb02dc (patch) | |
| tree | b69ff271456b89472f824d36976c387366275f5b /doc/classes/String.xml | |
| parent | 691d5d807c1aee94d3551a71c2461f3ec469662b (diff) | |
| parent | 42fccfb0a520447ea19bdea89a01a5279c7987e4 (diff) | |
Merge pull request #16491 from Chaosus/update_status_bar_font
Make status bar label fonts updateable
Diffstat (limited to 'doc/classes/String.xml')
0 files changed, 0 insertions, 0 deletions