diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-06-10 10:49:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-10 10:49:54 +0200 |
| commit | 8b79f2aad4c42644ba0d398b427ccbe64c5d8204 (patch) | |
| tree | 49248f413ac9721e73f168cfb6ebc3e179c06181 /platform/android/java/app/src/com | |
| parent | f25f0c54d676b72b7bbbdff2a696c45450d1bb88 (diff) | |
| parent | d443a13244093a3b094dc52b197f9abb363bdfee (diff) | |
Merge pull request #39350 from giulianob/improve-tree-redraw
Tree: Calling update in _gui_input less frequently
Diffstat (limited to 'platform/android/java/app/src/com')
0 files changed, 0 insertions, 0 deletions