• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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