Ihre Kommentare

the gutter's background color can be changed by changing the overall background color of the theme, and then adding a rule for the "text" and "source" scopes in the theme's configuration file (.tmTheme file), effectively overriding the default background color and obtaining a different gutter background color, like this:


<key>background</key>
<string>#1e1e1e</string>


And then, add the following:


<dict>
  <key>name</key>
  <string>Source base background</string>
  <key>scope</key>
  <string>text, source</string>
  <key>settings</key>
  <dict>
  <key>background</key>
  <string>#222</string>
  </dict>
</dict>