Editor implementation in JS. Extracted from Eclipse Orion. Used in Consulo web implementation - View it on GitHub