Closed navisingh closed 8 years ago
hey, I'd love to accept the PR but can you only include the fix for crash and not the colors, as this plugin is not meant to deal with colors like that?
Oops, the subsequent commits ended up in the PR. I will create a new PR with only 96361de.
you would't happen to know how I can add a toolbar button to the console area? I want to display the current workspace and git branch there.
Explicitly check whether we have a source editor when before querying its "textView" property.