GtkSourceLanguage questions

[Jeff Franks <jcf tpg com au>]

Hi again,

1. I've noticed that you can retrieve the default tag style with 
gtk_source_language_get_tag_default_style(). Would it be useful to be 
able to set the default tag style. A style chosen by the widget 
implementor that could be restored by the widget user at any time, or 
would you just use gtk_source_language_set_tag_style().

2. Does gtk_source_language_get_mime_types() return a list of the mime 
types explicitly set by gtk_source_language_set_mime_types().

3. Does setting the mime types with gtk_source_language_set_mime_types() 
limit the mime types GtkSourceBuffer can use, as opposed to the 
available mime types from the installed 'lang' files.

Regards,
Jeff  Franks.