castToSourceBuffer | Graphics.UI.Gtk.SourceView.SourceBuffer, Graphics.UI.Gtk.SourceView |
castToSourceLanguage | Graphics.UI.Gtk.SourceView.SourceLanguage, Graphics.UI.Gtk.SourceView |
castToSourceLanguageManager | Graphics.UI.Gtk.SourceView.SourceLanguageManager, Graphics.UI.Gtk.SourceView |
castToSourceMark | Graphics.UI.Gtk.SourceView.SourceMark, Graphics.UI.Gtk.SourceView |
castToSourceStyleScheme | Graphics.UI.Gtk.SourceView.SourceStyleScheme, Graphics.UI.Gtk.SourceView |
castToSourceView | Graphics.UI.Gtk.SourceView.SourceView, Graphics.UI.Gtk.SourceView |