manatee-editor-0.0.1: Editor extension for Manatee.
Manatee.Extension.Editor
module Manatee.Extension.Editor.SourceBuffer
module Manatee.Extension.Editor.SourceView