ahn/vaadin-aceeditor — pull request #18 by jreznot (2013-10-07 13:42:34+00:00)
Title: New settings for editor and fix for undefined behavior

New feature: Ability to hide line numbers (gutter), show/hide print margin and enable/disable active line highlight
Fix for undefined behavior: Ensure valid value of component on server before suggesting