GNOME Bugzilla – Bug 696889
hidden lang files should not be presented to the user
Last modified: 2015-04-27 11:14:51 UTC
Created attachment 240152 [details] [review] patch fixing the issue In gtksouceview some highlighting languages have the hidden property set to True. This means that these lang files should not be available to the user for him/her to chose the lang in any UI... So we should just hide languages that have the hidden flag.
Review of attachment 240152 [details] [review]: The patch looks good to me. As discussed on irc please push both this and the assertion removal in gsv ::: gedit/gedit-window.c @@ +1025,3 @@ lang = gtk_source_language_manager_get_language (lm, ids[i]); + + if (gtk_source_language_get_hidden (lang)) well, if I really want to nitpick here you could just do if (!hidden) prepend() and save a line
Pushed a slightly modified version of the patch.
Reopening as there is a patch about an assertion not committed, although not sure about the patch. José mind to push that when you have time?
(In reply to comment #1) > As discussed on irc please push both this and the assertion removal in gsv (In reply to comment #3) > Reopening as there is a patch about an assertion not committed, although not > sure about the patch. José mind to push that when you have time? Is the GtkSourceView patch pushed? If it works in gedit I think so.
Closing this bug report as no further information has been provided. Please feel free to reopen this bug report if you can provide the information that was asked for in a previous comment. Thanks!