mirror of
https://github.com/icecoder/ICEcoder.git
synced 2026-03-03 07:13:59 +01:00
Also change the CodeMirror-lint-markers class to be width: 12px; margin-left: 2px; instead of 16px
Also change the CodeMirror-lint-markers class to be width: 12px; margin-left: 2px; instead of 16px