app: set overrided system extensions as unsensitive.
commitacdf169d978a4111cb49f60e4acc488583e0c45c
authorJehan <jehan@girinstud.io>
Tue, 17 Jul 2018 17:29:04 +0000 (17 19:29 +0200)
committerJehan <jehan@girinstud.io>
Tue, 17 Jul 2018 17:45:51 +0000 (17 19:45 +0200)
tree0a07a8e84d241ab8cb228bb97e80aba73522eca3
parent4d745743e8a77a8cab2863c75920e3964a0856ad
app: set overrided system extensions as unsensitive.

When a user extension with same id as a system extension is installed,
set the system extension unsensitive in the GUI (as well as extensions
with missing requirements, though it is not implemented yet).

The reason why I broke this change in 2 commits (with the previous
commit) is because it will allow to easily cherry-pick the core code
commits whereas the GTK+ code will have to be reimplemented for
gimp-2-10 since this widget uses GTK+3 API.
app/widgets/gimpextensionlist.c