Jaime van Kessel 64523c7baf Add some extra info to the tooltip if a setting is not used due to the value of it's children
The behavior might make sense to us, but that's probably because we know what the behavior is. The
extra info in the tooltip should make it easier to understand

Fixes #5525
2019-04-01 10:41:35 +02:00
..
2019-01-23 11:11:40 +01:00
2019-01-23 11:11:40 +01:00
2018-12-17 17:47:33 +01:00