Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class TextEditor editor where Source
data EditorBuffer editor Source
data EditorView editor Source
data EditorMark editor Source
data EditorIter editor Source
data EditorTagTable editor Source
newBuffer :: Maybe FilePath -> Text -> IDEM (EditorBuffer editor) Source
applyTagByName :: EditorBuffer editor -> Text -> EditorIter editor -> EditorIter editor -> IDEM () Source
beginNotUndoableAction :: EditorBuffer editor -> IDEM () Source
beginUserAction :: EditorBuffer editor -> IDEM () Source
canRedo :: EditorBuffer editor -> IDEM Bool Source
canUndo :: EditorBuffer editor -> IDEM Bool Source
copyClipboard :: EditorBuffer editor -> Clipboard -> IDEM () Source
createMark :: EditorView editor -> LogRefType -> EditorIter editor -> Text -> IDEM () Source
cutClipboard :: EditorBuffer editor -> Clipboard -> Bool -> IDEM () Source
delete :: EditorBuffer editor -> EditorIter editor -> EditorIter editor -> IDEM () Source
deleteSelection :: EditorBuffer editor -> IDEM () Source
endNotUndoableAction :: EditorBuffer editor -> IDEM () Source
endUserAction :: EditorBuffer editor -> IDEM () Source
getEndIter :: EditorBuffer editor -> IDEM (EditorIter editor) Source
getInsertMark :: EditorBuffer editor -> IDEM (EditorMark editor) Source
getIterAtLine :: EditorBuffer editor -> Int -> IDEM (EditorIter editor) Source
getIterAtMark :: EditorBuffer editor -> EditorMark editor -> IDEM (EditorIter editor) Source
getIterAtOffset :: EditorBuffer editor -> Int -> IDEM (EditorIter editor) Source
getLineCount :: EditorBuffer editor -> IDEM Int Source
getModified :: EditorBuffer editor -> IDEM Bool Source
getSelectionBoundMark :: EditorBuffer editor -> IDEM (EditorMark editor) Source
getSelectionBounds :: EditorBuffer editor -> IDEM (EditorIter editor, EditorIter editor) Source
getInsertIter :: EditorBuffer editor -> IDEM (EditorIter editor) Source
getSlice :: EditorBuffer editor -> EditorIter editor -> EditorIter editor -> Bool -> IDEM Text Source
getStartIter :: EditorBuffer editor -> IDEM (EditorIter editor) Source
getTagTable :: EditorBuffer editor -> IDEM (EditorTagTable editor) Source
getText :: EditorBuffer editor -> EditorIter editor -> EditorIter editor -> Bool -> IDEM Text Source
hasSelection :: EditorBuffer editor -> IDEM Bool Source
insert :: EditorBuffer editor -> EditorIter editor -> Text -> IDEM () Source
newView :: EditorBuffer editor -> Maybe Text -> IDEM (EditorView editor) Source
pasteClipboard :: EditorBuffer editor -> Clipboard -> EditorIter editor -> Bool -> IDEM () Source
placeCursor :: EditorBuffer editor -> EditorIter editor -> IDEM () Source
redo :: EditorBuffer editor -> IDEM () Source
removeTagByName :: EditorBuffer editor -> Text -> IDEM () Source
selectRange :: EditorBuffer editor -> EditorIter editor -> EditorIter editor -> IDEM () Source
setModified :: EditorBuffer editor -> Bool -> IDEM () Source
setStyle :: EditorBuffer editor -> EditorStyle -> IDEM () Source
setText :: EditorBuffer editor -> Text -> IDEM () Source
undo :: EditorBuffer editor -> IDEM () Source
afterModifiedChanged :: EditorBuffer editor -> IDEM () -> IDEM [Connection] Source
bufferToWindowCoords :: EditorView editor -> (Int, Int) -> IDEM (Int, Int) Source
drawTabs :: EditorView editor -> IDEM () Source
getBuffer :: EditorView editor -> IDEM (EditorBuffer editor) Source
getWindow :: EditorView editor -> IDEM (Maybe DrawWindow) Source
getIterAtLocation :: EditorView editor -> Int -> Int -> IDEM (EditorIter editor) Source
getIterLocation :: EditorView editor -> EditorIter editor -> IDEM Rectangle Source
getOverwrite :: EditorView editor -> IDEM Bool Source
getScrolledWindow :: EditorView editor -> IDEM ScrolledWindow Source
getEditorWidget :: EditorView editor -> IDEM Widget Source
grabFocus :: EditorView editor -> IDEM () Source
scrollToMark :: EditorView editor -> EditorMark editor -> Double -> Maybe (Double, Double) -> IDEM () Source
scrollToIter :: EditorView editor -> EditorIter editor -> Double -> Maybe (Double, Double) -> IDEM () Source
setFont :: EditorView editor -> Maybe Text -> IDEM () Source
setIndentWidth :: EditorView editor -> Int -> IDEM () Source
setWrapMode :: EditorView editor -> Bool -> IDEM () Source
setRightMargin :: EditorView editor -> Maybe Int -> IDEM () Source
setShowLineNumbers :: EditorView editor -> Bool -> IDEM () Source
setTabWidth :: EditorView editor -> Int -> IDEM () Source
afterFocusIn :: EditorView editor -> IDEM () -> IDEM [Connection] Source
afterMoveCursor :: EditorView editor -> IDEM () -> IDEM [Connection] Source
afterToggleOverwrite :: EditorView editor -> IDEM () -> IDEM [Connection] Source
onButtonPress :: EditorView editor -> IDEEventM EButton Bool -> IDEM [Connection] Source
onButtonRelease :: EditorView editor -> IDEEventM EButton Bool -> IDEM [Connection] Source
onCompletion :: EditorView editor -> IDEM () -> IDEM () -> IDEM [Connection] Source
onKeyPress :: EditorView editor -> IDEEventM EKey Bool -> IDEM [Connection] Source
onMotionNotify :: EditorView editor -> IDEEventM EMotion Bool -> IDEM [Connection] Source
onLeaveNotify :: EditorView editor -> IDEEventM ECrossing Bool -> IDEM [Connection] Source
onKeyRelease :: EditorView editor -> IDEEventM EKey Bool -> IDEM [Connection] Source
onLookupInfo :: EditorView editor -> IDEEventM EButton Bool -> IDEM [Connection] Source
onMotionNotifyEvent :: EditorView editor -> IDEEventM EMotion Bool -> IDEM [Connection] Source
onPopulatePopup :: EditorView editor -> (Menu -> IDEM ()) -> IDEM [Connection] Source
onSelectionChanged :: EditorBuffer editor -> IDEM () -> IDEM [Connection] Source
backwardCharC :: EditorIter editor -> IDEM (EditorIter editor) Source
backwardFindCharC :: EditorIter editor -> (Char -> Bool) -> Maybe (EditorIter editor) -> IDEM (Maybe (EditorIter editor)) Source
backwardWordStartC :: EditorIter editor -> IDEM (Maybe (EditorIter editor)) Source
backwardToLineStartC :: EditorIter editor -> IDEM (EditorIter editor) Source
endsWord :: EditorIter editor -> IDEM Bool Source
forwardCharC :: EditorIter editor -> IDEM (EditorIter editor) Source
forwardCharsC :: EditorIter editor -> Int -> IDEM (EditorIter editor) Source
forwardFindCharC :: EditorIter editor -> (Char -> Bool) -> Maybe (EditorIter editor) -> IDEM (Maybe (EditorIter editor)) Source
forwardSearch :: EditorIter editor -> Text -> [TextSearchFlags] -> Maybe (EditorIter editor) -> IDEM (Maybe (EditorIter editor, EditorIter editor)) Source
forwardToLineEndC :: EditorIter editor -> IDEM (EditorIter editor) Source
forwardWordEndC :: EditorIter editor -> IDEM (Maybe (EditorIter editor)) Source
getChar :: EditorIter editor -> IDEM (Maybe Char) Source
getCharsInLine :: EditorIter editor -> IDEM Int Source
getLine :: EditorIter editor -> IDEM Int Source
getLineOffset :: EditorIter editor -> IDEM Int Source
getOffset :: EditorIter editor -> IDEM Int Source
isStart :: EditorIter editor -> IDEM Bool Source
isEnd :: EditorIter editor -> IDEM Bool Source
iterEqual :: EditorIter editor -> EditorIter editor -> IDEM Bool Source
startsLine :: EditorIter editor -> IDEM Bool Source
startsWord :: EditorIter editor -> IDEM Bool Source
atEnd :: EditorIter editor -> IDEM (EditorIter editor) Source
atLine :: EditorIter editor -> Int -> IDEM (EditorIter editor) Source
atLineOffset :: EditorIter editor -> Int -> IDEM (EditorIter editor) Source
atOffset :: EditorIter editor -> Int -> IDEM (EditorIter editor) Source
atStart :: EditorIter editor -> IDEM (EditorIter editor) Source
newTag :: EditorTagTable editor -> Text -> IDEM (EditorTag editor) Source
lookupTag :: EditorTagTable editor -> Text -> IDEM (Maybe (EditorTag editor)) Source
background :: EditorTag editor -> Color -> IDEM () Source
underline :: EditorTag editor -> Underline -> IDEM () Source
newDefaultBuffer :: Maybe FilePath -> Text -> IDEM (EditorBuffer GtkSourceView) Source
newYiBuffer :: Maybe FilePath -> Text -> IDEM (EditorBuffer GtkSourceView) Source