diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-08-28 22:44:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-28 22:44:29 +0200 |
commit | 9a0ace41b07090b73fbebd9f40b769710159e1cc (patch) | |
tree | 93a843b2cf9bfc4386c225fe92c81d76e37ab5fc /scene/gui | |
parent | 398d5bfb3f3e4fc3dc51dd1f756f0e087280c5d7 (diff) | |
parent | 07e8d7270e2bf9ef30aa50b66828ca56fa8aa882 (diff) |
Merge pull request #10709 from djrm/pr_gizmos_improvements
Highlight currently selected gizmo.
Diffstat (limited to 'scene/gui')
0 files changed, 0 insertions, 0 deletions