Relevant to issue #179, though it doesn't yet implement double- and triple-drag.
…ertical space This caused bogus scrollbars to appear on the main document in Opera and IE8. Closes #190
You can now make a series of gutter-changing operations efficient by wrapping them in an editor.operation(x) call.
…al placement If this is well-received, it'll be documented and become official.
…ings. Previously if a multi-line comment or string contained the word 'end', it would throw off the indentation level for all following code.