1 <schemalist> 2 <schema id="org.webkitgtk-@WEBKITGTK_API_VERSION@" path="/system/webkitgtk/"> 3 <child schema="org.webkitgtk-@WEBKITGTK_API_VERSION@.inspector" name="inspector"/> 4 </schema> 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> 10 </key> 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> 15 </key> 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> 20 </key> 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> 25 </key> 26 <key name="frontend-settings" type="s"> 27 <default>''</default> 28 <summary>Misc Inspector Frontend Settings</summary> 29 <description>Miscelaneous Settings managed by the Inspector Frontend</description> 30 </key> 31 </schema> 32 </schemalist> 33
