diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-03 12:01:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-03 12:01:34 +0200 |
| commit | ad04cf0bfa22a5187c577a9c3af16ada11dd88cd (patch) | |
| tree | 1d1bee6be5f337cd4dd880ad27bafeb948632640 /core/map.h | |
| parent | f0dffa5f1d63ab944e3e6a28e68184773996a721 (diff) | |
| parent | 8674e5c0bd9bc8842417973994df3383e06f8ec7 (diff) | |
Merge pull request #32907 from georgikoemdzhiev/FixPressedIssue
Uncheck 'Pressed' if toggle_mode is unchecked
Diffstat (limited to 'core/map.h')
0 files changed, 0 insertions, 0 deletions