Why "Brace highlight style" font size hard-coded to 10 in "stylers.model.xml" ?
-
The file “stylers.model.xml” contains the following line:
<WidgetStyle name="Brace highlight style" styleID="34" fgColor="FF0000" bgColor="FFFFFF" fontName="" fontStyle="1" fontSize="10" />
The
fontSize="10"
part makes the highlighted braces to always have a font size of 10.
Therefore, when I increase the Font size in the Default Style (within the Style Configurator), I’m getting small highlighted braces because their font size is still 10.So I’m proposing to change the mentioned line in “stylers.model.xml” to:
<WidgetStyle name="Brace highlight style" styleID="34" fgColor="FF0000" bgColor="FFFFFF" fontName="" fontStyle="1" fontSize="" />
unless there is a specific reason to always have the font size of 10 there…