diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2016-05-04 08:36:14 +0200 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2016-05-04 08:36:14 +0200 |
commit | a79e3906135c2258b5bf9814e4971c4fc2f231e6 (patch) | |
tree | 58c6097448dd5aabfaa72fe5a943c51ae051f413 /core/script_language.h | |
parent | db0fde9d39687937567c208e989cf25b15e09af4 (diff) | |
parent | 723c0d730c0bb3df888934dd94ed1e45f24b7acd (diff) |
Merge pull request #4543 from djrm/better_hint_all
Changed barely visible PROPERTY_HINT_ALL_FLAGS buttons for checkboxes
Diffstat (limited to 'core/script_language.h')
0 files changed, 0 insertions, 0 deletions