diff options
author | Christian Dywan <christian@twotoasts.de> | 2018-10-26 18:37:28 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-26 18:37:28 +0200 |
commit | 7b765721d741f8afab7234b714824a545a56c83b (patch) | |
tree | 8af0369d6183b507dfffcb8fa15abd9acb644ec9 /web/activatable.vala | |
parent | 026f125c6688e531c0facf52e7741d96fbffe8b5 (diff) | |
download | midori-git-7b765721d741f8afab7234b714824a545a56c83b.tar.gz |
Make web process aware of core settings (#132)
- Expose `Settings` API natively to web process
- Use `Config.PROJECT_NAME` to find config folder
- Automatically reload external changes to Settings
- Changed values on `get_boolean/string` access
- Unify plugin loading in `Plugins`
Fixes: #116
Fixes: #118
Diffstat (limited to 'web/activatable.vala')
-rw-r--r-- | web/activatable.vala | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/web/activatable.vala b/web/activatable.vala new file mode 100644 index 00000000..bd75e51b --- /dev/null +++ b/web/activatable.vala @@ -0,0 +1,21 @@ +/* + Copyright (C) 2018 Christian Dywan <christian@twotoats.de> + + This library is free software; you can redistribute it and/or + modify it under the terms of the GNU Lesser General Public + License as published by the Free Software Foundation; either + version 2.1 of the License, or (at your option) any later version. + + See the file COPYING for the full license text. +*/ + +Midori.Plugins? plugins; +public void webkit_web_extension_initialize_with_user_data (WebKit.WebExtension extension, Variant user_data) { + plugins = Midori.Plugins.get_default (user_data.get_string ()); + extension.page_created.connect ((page) => { + var extensions = plugins.plug<Peas.Activatable> ("object", page); + extensions.extension_added.connect ((info, extension) => ((Peas.Activatable)extension).activate ()); + extensions.extension_removed.connect ((info, extension) => { ((Peas.Activatable)extension).deactivate (); }); + extensions.foreach ((extensions, info, extension) => { extensions.extension_added (info, extension); }); + }); +} |