mirror of
https://github.com/icecoder/ICEcoder.git
synced 2026-03-03 15:24:00 +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