2 <schema id="org.webkitgtk-@WEBKITGTK_API_VERSION@" path="/system/webkitgtk/">
3 <child schema="org.webkitgtk-@WEBKITGTK_API_VERSION@.inspector" name="inspector"/>
5 <schema id="org.webkitgtk-@WEBKITGTK_API_VERSION@.inspector" path="/system/webkitgtk/inspector/">
6 <key name="resource-tracking-enabled" type="b">
7 <default>false</default>
8 <summary>Resource Tracking Enabled</summary>
9 <description>Whether the Resource Tracking panel is always enabled.</description>
11 <key name="xhr-monitor-enabled" type="b">
12 <default>false</default>
13 <summary>XHR Monitor Enabled</summary>
14 <description>Whether the XHR monitor is always enabled.</description>
16 <key name="debugger-enabled" type="b">
17 <default>false</default>
18 <summary>Debugger Enabled</summary>
19 <description>Whether the debugger is always enabled.</description>
21 <key name="profiler-enabled" type="b">
22 <default>false</default>
23 <summary>Profiler Enabled</summary>
24 <description>Whether the profiler is always enabled.</description>
26 <key name="frontend-settings" type="s">
28 <summary>Misc Inspector Frontend Settings</summary>
29 <description>Miscelaneous Settings managed by the Inspector Frontend</description>