diff options
| author | Nils ANDRÉ-CHANG <nils.andre.chang@gmail.com> | 2019-06-08 12:37:57 +0100 |
|---|---|---|
| committer | Nils ANDRÉ-CHANG <nils.andre.chang@gmail.com> | 2019-06-08 12:37:57 +0100 |
| commit | e4f90337f29ab8cc3683921c3f78987ce1c3166b (patch) | |
| tree | 5dd2683e54abf83c4d40ec51f278bfed6e48f45c /modules/mono/editor | |
| parent | 693582f00837bb4ce4fb3ce91d2366ee359eecf4 (diff) | |
Treat hiding_enabled as bool throughout
Diffstat (limited to 'modules/mono/editor')
0 files changed, 0 insertions, 0 deletions