Limit the variability of TextStyle in the gutter
alexeyinkin opened this issue · comments
For the line numbers to be aligned with the code lines, they should share a lot of properties in TextStyle
. This is because we use the natural vertical flow in the text field and in the gutter. We made two separate TextStyle
s for that to allow flexibility with color, weight, and other things, but the users repeatedly put different fonts, sizes, line spacing, etc. and expect the two to be aligned.
See:
We should:
- Inspect each property in
TextStyle
and see if different values in it break the alignment. - For those properties breaking the alignment, take their values from
CodeField.textStyle
and force them inGutterStyle.textStyle
. - Document which properties in
GutterStyle.textStyle
have effect and are not overridden.