diff options
author | Christian Dywan <christian@twotoasts.de> | 2019-04-21 20:50:41 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-21 20:50:41 +0200 |
commit | 58d68dff423f85a1cc7f5bc84b08298ced19819a (patch) | |
tree | a66a300dfe7421b8d71888468354ffa859500d4b | |
parent | 80ca3040f612fb3d3f440da5af22120543677a3a (diff) | |
download | midori-git-58d68dff423f85a1cc7f5bc84b08298ced19819a.tar.gz |
Enable inspector for non-pinned tabs only (#314)
Web apps, and pinned tabs, which are treated the same in this respect,
shouldn't expose development features.
-rw-r--r-- | core/tab.vala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/tab.vala b/core/tab.vala index 2927dcb6..5e3baa1f 100644 --- a/core/tab.vala +++ b/core/tab.vala @@ -69,7 +69,7 @@ namespace Midori { var settings = get_settings (); settings.user_agent += " %s".printf (Config.CORE_USER_AGENT_VERSION); - settings.enable_developer_extras = true; + bind_property ("pinned", settings, "enable-developer-extras", BindingFlags.SYNC_CREATE | BindingFlags.INVERT_BOOLEAN); var core_settings = CoreSettings.get_default (); settings.enable_javascript = core_settings.enable_javascript; core_settings.notify["enable-javascript"].connect ((pspec) => { |