diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-14 11:44:03 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-14 11:44:20 +0100 |
| commit | 41634199c8dcaa8b72586933038acf48919ddcc0 (patch) | |
| tree | 18996a1e6dc2d9e0c9750d8aef6e0870ef9f7fd1 /main | |
| parent | a1c396e55cbab681740e8d743fe16178eae0f643 (diff) | |
EditorNode: Improve tooltip for pause button
Closes #14742.
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions