manatee-editor-0.0.1: Editor extension for Manatee.

Manatee.Extension.Editor.SourceBuffer

Synopsis

Documentation

data SourceBuffer Source

Constructors

SourceBuffer 

Fields

sourceBufferFilePath :: TVar String
 
sourceBufferClient :: Client
 
sourceBufferPageId :: PageId
 
sourceBufferMode :: PageMode
 
sourceBufferBuffer :: SourceBuffer
 

Instances

sourceBufferNew :: String -> Client -> PageId -> IO SourceBufferSource

New source buffer.