-
Benno Schulenberg authored
The different color will make the name stand out, as it should, instead of looking the same as all the regex strings.
3e1fc638
The different color will make the name stand out, as it should, instead of looking the same as all the regex strings.