diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-28 17:43:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-28 17:43:01 +0200 |
| commit | f7f8af232c2867435b84f83001ebe46d5ee030ba (patch) | |
| tree | ce0b6b0157de33efa45b68373b6e24998ca01861 /thirdparty/graphite | |
| parent | c9972e3981b9b9768a01e517e4b6dd23f85a31b6 (diff) | |
| parent | ef5b9a06a929469690858fb35fa4e5ad272d42fa (diff) | |
Merge pull request #64885 from Mickeon/rename-tooltip-hint
Rename `hint_tooltip` to `tooltip_text` & setter getter
Diffstat (limited to 'thirdparty/graphite')
0 files changed, 0 insertions, 0 deletions