The last plugin I tested was CodeMirror Line Numbers. It has no settings I can influence. So I didn't look for settings here as well. Unfortunatly the line numbers plugin does not work properly on my system. But the tabs do!!
The last plugin I tested was CodeMirror Line Numbers. It has no settings I can influence. So I didn't look for settings here as well. Unfortunatly the line numbers plugin does not work properly on my system. But the tabs do!!