diff options
| author | Juan Linietsky <juan@godotengine.org> | 2019-02-24 10:50:43 -0300 |
|---|---|---|
| committer | Juan Linietsky <juan@godotengine.org> | 2019-02-24 10:50:43 -0300 |
| commit | 61b41d6001492527753b7047989d38ffd085a9de (patch) | |
| tree | b2774ba2d86328c228359b1e7798a572c05fa683 /drivers/winmidi | |
| parent | 3ea04c1366eb83327b4552a8e84b68a8130f6bc1 (diff) | |
Ensure all properties are refreshed when setting a script, fixes #24845
Diffstat (limited to 'drivers/winmidi')
0 files changed, 0 insertions, 0 deletions