ajaxorg/ace — pull request #753 by pvdvreede (2012-05-08 02:53:28+00:00)
Title: Ace bookmarklet settings table is obstructed by gutter

In the Ace bookmarklet (http://ajaxorg.github.com/ace/build/textarea/editor.html) if the gutter is enabled, the settings table is obstructed and the 'hide' button cannot be seen or pressed.

This fix just adds some left padding, so that the table is across from the edge so it can be seen regardless of the gutter being present.