Graphics.UI.Gtk.SourceView.SourceView
data
SourceView
class
SourceViewClass
o
data
SourceSmartHomeEndType
castToSourceView
sourceViewNew
sourceViewNewWithBuffer
sourceViewSetAutoIndent
sourceViewGetAutoIndent
sourceViewSetIndentOnTab
sourceViewGetIndentOnTab
sourceViewSetIndentWidth
sourceViewGetIndentWidth
sourceViewSetInsertSpacesInsteadOfTabs
sourceViewGetInsertSpacesInsteadOfTabs
sourceViewSetSmartHomeEnd
sourceViewGetSmartHomeEnd
sourceViewSetHighlightCurrentLine
sourceViewGetHighlightCurrentLine
sourceViewSetShowLineMarks
sourceViewGetShowLineMarks
sourceViewSetShowLineNumbers
sourceViewGetShowLineNumbers
sourceViewSetShowRightMargin
sourceViewGetShowRightMargin
sourceViewSetRightMarginPosition
sourceViewGetRightMarginPosition
sourceViewSetTabWidth
sourceViewGetTabWidth
sourceViewSetMarkCategoryPixbuf
sourceViewGetMarkCategoryPixbuf
sourceViewAutoIndent
sourceViewHighlightCurrentLine
sourceViewIndentOnTab
sourceViewIndentWidth
sourceViewInsertSpacesInsteadOfTabs
sourceViewRightMarginPosition
sourceViewShowLineNumbers
sourceViewShowRightMargin
sourceViewSmartHomeEnd
sourceViewTabWidth
sourceViewUndo
sourceViewRedo