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…
-
PR 16928 will remove that forced fontSize, and fix other fontSize consistency problems in the model and themes.
Hello! It looks like you're interested in this conversation, but you don't have an account yet.
Getting fed up of having to scroll through the same posts each visit? When you register for an account, you'll always come back to exactly where you were before, and choose to be notified of new replies (either via email, or push notification). You'll also be able to save bookmarks and upvote posts to show your appreciation to other community members.
With your input, this post could be even better 💗
Register Login