mirror of
https://github.com/icecoder/ICEcoder.git
synced 2026-03-05 08:14: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