mirror of
https://github.com/icecoder/ICEcoder.git
synced 2026-03-03 07:13:59 +01:00
Now gutters and linenumber Also moved width to gutters class, aligned text right and lightened right border
Now gutters and linenumber Also moved width to gutters class, aligned text right and lightened right border