| Safe Haskell | Safe-Infered |
|---|
IDE.Pane.SourceBuffer
Description
The source editor part of Leksah
- data IDEBuffer = IDEBuffer {
- fileName :: Maybe FilePath
- bufferName :: String
- addedIndex :: Int
- sourceView :: EditorView
- scrolledWindow :: ScrolledWindow
- modTime :: IORef (Maybe ClockTime)
- mode :: Mode
- data BufferState
- allBuffers :: IDEM [IDEBuffer]
- maybeActiveBuf :: IDEM (Maybe IDEBuffer)
- selectSourceBuf :: FilePath -> IDEM (Maybe IDEBuffer)
- goToSourceDefinition :: FilePath -> Maybe Location -> IDEM (Maybe IDEBuffer)
- goToDefinition :: Descr -> IDEAction
- insertInBuffer :: Descr -> IDEAction
- fileNew :: IDEAction
- fileOpenThis :: FilePath -> IDEAction
- fileOpen :: IDEAction
- fileRevert :: IDEAction
- fileClose :: IDEM Bool
- fileCloseAll :: (IDEBuffer -> IDEM Bool) -> IDEM Bool
- fileCloseAllButPackage :: IDEAction
- fileCloseAllButWorkspace :: IDEAction
- fileSave :: Bool -> IDEM Bool
- fileSaveAll :: (IDEBuffer -> IDEM Bool) -> IDEM Bool
- fileSaveBuffer :: Bool -> Notebook -> EditorBuffer -> IDEBuffer -> Int -> IDEM Bool
- fileCheckAll :: (IDEBuffer -> IDEM (Maybe alpha)) -> IDEM [alpha]
- editUndo :: IDEAction
- editRedo :: IDEAction
- editCut :: IDEAction
- editCopy :: IDEAction
- editPaste :: IDEAction
- editDelete :: IDEAction
- editSelectAll :: IDEAction
- editComment :: IDEAction
- editUncomment :: IDEAction
- editShiftRight :: IDEAction
- editShiftLeft :: IDEAction
- editToCandy :: IDEAction
- editFromCandy :: IDEAction
- editKeystrokeCandy :: Maybe Char -> IDEAction
- editCandy :: ReaderT IDERef IO ()
- markRefInSourceBuf :: Int -> IDEBuffer -> LogRef -> Bool -> IDEAction
- inBufContext :: alpha -> IDEBuffer -> (Notebook -> EditorBuffer -> IDEBuffer -> Int -> IDEM alpha) -> IDEM alpha
- inActiveBufContext :: alpha -> (Notebook -> EditorBuffer -> IDEBuffer -> Int -> IDEM alpha) -> IDEM alpha
- align :: Char -> IDEAction
- startComplete :: IDEAction
- selectedText :: IDEM (Maybe String)
- selectedTextOrCurrentLine :: IDEM (Maybe String)
- insertTextAfterSelection :: String -> IDEAction
- selectedModuleName :: IDEM (Maybe String)
- selectedLocation :: IDEM (Maybe (Int, Int))
- recentSourceBuffers :: IDEM [PaneName]
- newTextBuffer :: PanePath -> String -> Maybe FilePath -> IDEM (Maybe IDEBuffer)
- belongsToPackage :: IDEBuffer -> IDEM (Maybe IDEPackage)
- belongsToWorkspace :: IDEBuffer -> ReaderT IDERef IO Bool
- getIdentifierUnderCursorFromIter :: (EditorIter, EditorIter) -> IDEM (EditorIter, EditorIter)
Documentation
A text editor pane description
Constructors
| IDEBuffer | |
Fields
| |
data BufferState Source
Constructors
| BufferState FilePath Int | |
| BufferStateTrans String String Int |
fileSaveBuffer :: Bool -> Notebook -> EditorBuffer -> IDEBuffer -> Int -> IDEM BoolSource
inBufContext :: alpha -> IDEBuffer -> (Notebook -> EditorBuffer -> IDEBuffer -> Int -> IDEM alpha) -> IDEM alphaSource
inActiveBufContext :: alpha -> (Notebook -> EditorBuffer -> IDEBuffer -> Int -> IDEM alpha) -> IDEM alphaSource
belongsToPackage :: IDEBuffer -> IDEM (Maybe IDEPackage)Source
Returns the package, to which this buffer belongs, if possible