Skip to content

Support for GitGutter#32

Merged
kenwheeler merged 1 commit into
kenwheeler:masterfrom
valkirilov:master
Feb 11, 2016
Merged

Support for GitGutter#32
kenwheeler merged 1 commit into
kenwheeler:masterfrom
valkirilov:master

Conversation

@valkirilov
Copy link
Copy Markdown
Contributor

About the Plugin: https://github.com/jisaacks/GitGutter
Demo: https://i.imgur.com/wYCNOdt.png

Added colors for the GitGutter markers:

<dict>
  <key>name</key>
  <string>GitGutter deleted</string>
  <key>scope</key>
  <string>markup.deleted.git_gutter</string>
  <key>settings</key>
  <dict>
    <key>foreground</key>
    <string>#F92672</string>
  </dict>
</dict>
<dict>
  <key>name</key>
  <string>GitGutter inserted</string>
  <key>scope</key>
  <string>markup.inserted.git_gutter</string>
  <key>settings</key>
  <dict>
    <key>foreground</key>
    <string>#A6E22E</string>
  </dict>
</dict>
<dict>
  <key>name</key>
  <string>GitGutter changed</string>
  <key>scope</key>
  <string>markup.changed.git_gutter</string>
  <key>settings</key>
  <dict>
    <key>foreground</key>
    <string>#967EFB</string>
  </dict>
</dict>
<dict>
  <key>name</key>
  <string>GitGutter ignored</string>
  <key>scope</key>
  <string>markup.ignored.git_gutter</string>
  <key>settings</key>
  <dict>
    <key>foreground</key>
    <string>#565656</string>
  </dict>
</dict>
<dict>
  <key>name</key>
  <string>GitGutter untracked</string>
  <key>scope</key>
  <string>markup.untracked.git_gutter</string>
  <key>settings</key>
  <dict>
    <key>foreground</key>
    <string>#565656</string>
  </dict>
</dict>

kenwheeler added a commit that referenced this pull request Feb 11, 2016
@kenwheeler kenwheeler merged commit 75725e8 into kenwheeler:master Feb 11, 2016
@kenwheeler
Copy link
Copy Markdown
Owner

Awesome, thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants