queryTooltipMarkup | Graphics.UI.Gtk.SourceView.SourceMarkAttributes |
queryTooltipText | Graphics.UI.Gtk.SourceView.SourceMarkAttributes |
queryTooltipMarkup | Graphics.UI.Gtk.SourceView.SourceMarkAttributes |
queryTooltipText | Graphics.UI.Gtk.SourceView.SourceMarkAttributes |