small feature request for v3 final

 From:  Michael Gibson
6673.12 In reply to 6673.11 
Hi Max,

> Honestly I don't see many other options, having a checkmark as with styles sounds very
> simple to me. Maybe this feature could be activated with a .ini option, so that by default it's off.

Unfortunately it's not very practical for me to implement pieces with significant UI to them which are off by default, it becomes too likely later on down the road that there will be bugs in those areas when other things are changed, it becomes difficult for me to remember to test such things.

I'm not entirely against things that are activated with an .ini option but in general such things work better as a modification of existing behavior instead of being a major new feature themselves (like something that introduces its own UI is).

- Michael