manatee-editor-0.0.2: Editor extension for Manatee.

Manatee.Extension.Editor

Documentation

module Manatee.Extension.Editor.SourceBuffer

module Manatee.Extension.Editor.SourceView