This is useful because there is no really standard value for this colour and the choice of grey (0x808080) is completely subjective, but also because it may be useful to disable custom drawing of the border entirely if it results in any problems with the future Windows versions. See #23107. |
||
|---|---|---|
| .. | ||
| wx | ||
| check_syntax.sh | ||