marijnh/CodeMirror2 — Issue #305: Allow an extra, separate widget gutter
Author: marijnh
Created: 2011-12-22 09:35:15+00:00
State: open

Putting the line number and custom widgets in the same gutter causes problems with positioning and gutter-width jumping. We should support adding one (or more) separate gutters, specifically for showing custom widgets.