app: add "running" property to extension.
commitd68a68c54d9a7645b98cbc8b21dd3d2585a8069f
authorJehan <jehan@girinstud.io>
Wed, 18 Jul 2018 10:08:57 +0000 (18 12:08 +0200)
committerJehan <jehan@girinstud.io>
Wed, 18 Jul 2018 10:08:57 +0000 (18 12:08 +0200)
tree0ca3d2f4de7cb86ecb46b15b7115e249c82a2968
parentacdf169d978a4111cb49f60e4acc488583e0c45c
app: add "running" property to extension.

And connect to this property in the extension manager to allow dynamic
reload when starting/stopping an extension. It doesn't work yet for
extensions with plug-ins but works with other kinds of data.
app/core/gimpextension.c
app/core/gimpextensionmanager.c