LightTable/LightTable — pull request #1409 by seancaffery (2014-04-04 22:03:26+00:00)
Title: Add add-gutter to editor

Adding gutters directly to the editor using CodeMirror affects any other gutters that were added dynamically because the container divs are recreated each time a new gutter is added, removing style information and making gutters collapse over each other. One fix for this is to add a css file that defines the width for the gutter, which is fine if you do not want dynamically sized gutters like the gitlight and GBlame plugins.
This adds an api for plugins to use to add gutters to the right side of existing gutters.

This is still WIP. There should be a `remove-gutter`, but I'm happy to take feedback for what I have.

/cc @mrogalski @bfabry