Disabled dev tools per default for Edge
This unifies the behavior among backends and is probably the more useful default for most applications.
This commit is contained in:
@@ -775,8 +775,8 @@ public:
|
||||
/**
|
||||
Enable or disable access to dev tools for the user.
|
||||
|
||||
This is currently only implemented for the Edge (Chromium) backend
|
||||
where the dev tools are enabled by default and the WebKit2GTK+ backend.
|
||||
This is currently only implemented for the Edge (Chromium) backend and
|
||||
the WebKit2GTK+ backend. Dev tools are disabled by default.
|
||||
|
||||
@since 3.1.4
|
||||
*/
|
||||
|
Reference in New Issue
Block a user