Safe Haskell	Safe-Infered

IDE.TextEditor

Description

Documentation

data EditorBuffer Source

Constructors

GtkEditorBuffer SourceBuffer

data EditorView Source

Constructors

GtkEditorView SourceView

data EditorMark Source

Constructors

GtkEditorMark TextMark

data EditorIter Source

Constructors

GtkEditorIter TextIter

data EditorTagTable Source

Constructors

GtkEditorTagTable TextTagTable

data EditorTag Source

Constructors

GtkEditorTag TextTag

newGtkBuffer :: Maybe FilePath -> String -> IDEM EditorBuffer Source

newYiBuffer :: Maybe FilePath -> String -> IDEM EditorBuffer Source

simpleGtkBuffer :: String -> IDEM EditorBuffer Source

applyTagByName :: EditorBuffer -> String -> EditorIter -> EditorIter -> IDEM ()Source

beginNotUndoableAction :: EditorBuffer -> IDEM ()Source

beginUserAction :: EditorBuffer -> IDEM ()Source

canRedo :: EditorBuffer -> IDEM Bool Source

canUndo :: EditorBuffer -> IDEM Bool Source

copyClipboard :: EditorBuffer -> Clipboard -> IDEM ()Source

createMark :: EditorBuffer -> EditorIter -> Bool -> IDEM EditorMark Source

cutClipboard :: EditorBuffer -> Clipboard -> Bool -> IDEM ()Source

delete :: EditorBuffer -> EditorIter -> EditorIter -> IDEM ()Source

deleteSelection :: EditorBuffer -> Bool -> Bool -> IDEM ()Source

endNotUndoableAction :: EditorBuffer -> IDEM ()Source

endUserAction :: EditorBuffer -> IDEM ()Source

getEndIter :: EditorBuffer -> IDEM EditorIter Source

getInsertMark :: EditorBuffer -> IDEM EditorMark Source

getInsertIter :: EditorBuffer -> IDEM EditorIter Source

getIterAtLine :: EditorBuffer -> Int -> IDEM EditorIter Source

getIterAtMark :: EditorBuffer -> EditorMark -> IDEM EditorIter Source

getIterAtOffset :: EditorBuffer -> Int -> IDEM EditorIter Source

getLineCount :: EditorBuffer -> IDEM Int Source

getModified :: EditorBuffer -> IDEM Bool Source

getSelectionBoundMark :: EditorBuffer -> IDEM EditorMark Source

getSelectionBounds :: EditorBuffer -> IDEM (EditorIter, EditorIter)Source

getSlice :: EditorBuffer -> EditorIter -> EditorIter -> Bool -> IDEM String Source

getStartIter :: EditorBuffer -> IDEM EditorIter Source

getTagTable :: EditorBuffer -> IDEM EditorTagTable Source

getText :: EditorBuffer -> EditorIter -> EditorIter -> Bool -> IDEM String Source

hasSelection :: EditorBuffer -> IDEM Bool Source

insert :: EditorBuffer -> EditorIter -> String -> IDEM ()Source

moveMark :: EditorBuffer -> EditorMark -> EditorIter -> IDEM ()Source

newView :: EditorBuffer -> Maybe String -> IDEM EditorView Source

pasteClipboard :: EditorBuffer -> Clipboard -> EditorIter -> Bool -> IDEM ()Source

placeCursor :: EditorBuffer -> EditorIter -> IDEM ()Source

redo :: EditorBuffer -> IDEM ()Source

removeTagByName :: EditorBuffer -> String -> EditorIter -> EditorIter -> IDEM ()Source

selectRange :: EditorBuffer -> EditorIter -> EditorIter -> IDEM ()Source

setModified :: EditorBuffer -> Bool -> IDEM ()Source

setStyle :: EditorBuffer -> Maybe String -> IDEM ()Source

setText :: EditorBuffer -> String -> IDEM ()Source

undo :: EditorBuffer -> IDEM ()Source

bufferToWindowCoords :: EditorView -> (Int, Int) -> IDEM (Int, Int)Source

drawTabs :: EditorView -> IDEM ()Source

getBuffer :: EditorView -> IDEM EditorBuffer Source

getDrawWindow :: EditorView -> IDEM DrawWindow Source

getIterLocation :: EditorView -> EditorIter -> IDEM Rectangle Source

getOverwrite :: EditorView -> IDEM Bool Source

getScrolledWindow :: EditorView -> IDEM ScrolledWindow Source

grabFocus :: EditorView -> IDEM ()Source

scrollToMark :: EditorView -> EditorMark -> Double -> Maybe (Double, Double) -> IDEM ()Source

scrollToIter :: EditorView -> EditorIter -> Double -> Maybe (Double, Double) -> IDEM ()Source

setFont :: EditorView -> Maybe String -> IDEM ()Source

setIndentWidth :: EditorView -> Int -> IDEM ()Source

setWrapMode :: EditorView -> Bool -> IDEM ()Source

setRightMargin :: EditorView -> Maybe Int -> IDEM ()Source

setShowLineNumbers :: EditorView -> Bool -> IDEM ()Source

setTabWidth :: EditorView -> Int -> IDEM ()Source

backwardCharC :: EditorIter -> IDEM EditorIter Source

backwardFindCharC :: EditorIter -> (Char -> Bool) -> Maybe EditorIter -> IDEM (Maybe EditorIter)Source

backwardWordStartC :: EditorIter -> IDEM (Maybe EditorIter)Source

backwardToLineStartC :: EditorIter -> IDEM EditorIter Source

endsWord :: EditorIter -> IDEM Bool Source

forwardCharC :: EditorIter -> IDEM EditorIter Source

forwardCharsC :: EditorIter -> Int -> IDEM EditorIter Source

forwardFindCharC :: EditorIter -> (Char -> Bool) -> Maybe EditorIter -> IDEM (Maybe EditorIter)Source

forwardToLineEndC :: EditorIter -> IDEM EditorIter Source

forwardWordEndC :: EditorIter -> IDEM (Maybe EditorIter)Source

forwardSearch :: EditorIter -> String -> [TextSearchFlags] -> Maybe EditorIter -> IDEM (Maybe (EditorIter, EditorIter))Source

getChar :: EditorIter -> IDEM (Maybe Char)Source

getCharsInLine :: EditorIter -> IDEM Int Source

getLine :: EditorIter -> IDEM Int Source

getLineOffset :: EditorIter -> IDEM Int Source

getOffset :: EditorIter -> IDEM Int Source

isStart :: EditorIter -> IDEM Bool Source

isEnd :: EditorIter -> IDEM Bool Source

iterEqual :: EditorIter -> EditorIter -> IDEM Bool Source

startsLine :: EditorIter -> IDEM Bool Source

atEnd :: EditorIter -> IDEM EditorIter Source

atLine :: EditorIter -> Int -> IDEM EditorIter Source

atLineOffset :: EditorIter -> Int -> IDEM EditorIter Source

atOffset :: EditorIter -> Int -> IDEM EditorIter Source

atStart :: EditorIter -> IDEM EditorIter Source

newTag :: EditorTagTable -> String -> IDEM EditorTag Source

lookupTag :: EditorTagTable -> String -> IDEM (Maybe EditorTag)Source

background :: EditorTag -> Color -> IDEM ()Source

underline :: EditorTag -> Underline -> IDEM ()Source

afterFocusIn :: EditorView -> IDEM () -> IDEM [Connection]Source

afterModifiedChanged :: EditorBuffer -> IDEM () -> IDEM [Connection]Source

afterMoveCursor :: EditorView -> IDEM () -> IDEM [Connection]Source

afterToggleOverwrite :: EditorView -> IDEM () -> IDEM [Connection]Source

onButtonPress :: EditorView -> (Event -> IDEM Bool) -> IDEM [Connection]Source

onButtonRelease :: EditorView -> (Event -> IDEM Bool) -> IDEM [Connection]Source

onCompletion :: EditorView -> IDEM () -> IDEM () -> IDEM [Connection]Source

onKeyPress :: EditorView -> (String -> [Modifier] -> KeyVal -> IDEM Bool) -> IDEM [Connection]Source

onKeyRelease :: EditorView -> (String -> [Modifier] -> KeyVal -> IDEM Bool) -> IDEM [Connection]Source

onLookupInfo :: EditorView -> IDEM () -> IDEM [Connection]Source

onMotionNotify :: EditorView -> (Double -> Double -> [Modifier] -> IDEM Bool) -> IDEM [Connection]Source

onLeaveNotify :: EditorView -> IDEM Bool -> IDEM [Connection]Source

onPopulatePopup :: EditorView -> (Menu -> IDEM ()) -> IDEM [Connection]Source