org.webkitgtk.gschema.xml.in   [plain text]

<schemalist>
  <schema id="org.webkitgtk-@WEBKITGTK_API_VERSION@" path="/system/webkitgtk/">
    <child schema="org.webkitgtk-@WEBKITGTK_API_VERSION@.inspector" name="inspector"/>
  </schema>
  <schema id="org.webkitgtk-@WEBKITGTK_API_VERSION@.inspector" path="/system/webkitgtk/inspector/">
    <key name="resource-tracking-enabled" type="b">
      <default>false</default>
      <summary>Resource Tracking Enabled</summary>
      <description>Whether the Resource Tracking panel is always enabled.</description>
    </key>
    <key name="xhr-monitor-enabled" type="b">
      <default>false</default>
      <summary>XHR Monitor Enabled</summary>
      <description>Whether the XHR monitor is always enabled.</description>
    </key>
    <key name="debugger-enabled" type="b">
      <default>false</default>
      <summary>Debugger Enabled</summary>
      <description>Whether the debugger is always enabled.</description>
    </key>
    <key name="profiler-enabled" type="b">
      <default>false</default>
      <summary>Profiler Enabled</summary>
      <description>Whether the profiler is always enabled.</description>
    </key>
    <key name="frontend-settings" type="s">
      <default>''</default>
      <summary>Misc Inspector Frontend Settings</summary>
      <description>Miscelaneous Settings managed by the Inspector Frontend</description>
    </key>
  </schema>
</schemalist>