Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[webui] Don't set a line-height in CodeMirror styles.
Depending on font settings, this would avoid cut off glyphs at the expense of vertical screen estate.
- Loading branch information