<?xml version="1.0" encoding="UTF-8"?>
<schemalist>
<schema id="org.gnome.shell.extensions.hidetopbar" path="/org/gnome/shell/extensions/hidetopbar/">
<key name="hot-corner" type="b">
<default>false</default>
<summary>Keep hot corner sensitive or not</summary>
<description>
Set to "true" to keep hot corner sensitive even when panel is in hidden
state. Set to "false" to get rid of the hot corner in hidden state.
</description>
</key>
<key name="mouse-sensitive" type="b">
<default>false</default>
<summary>Show panel when mouse approaches edge of the screen</summary>
<description>
Set to "true" to show panel not only in overview but also when the mouse
approaches the edge of the screen.
</description>
</key>
<key name="mouse-triggers-overview" type="b">
<default>false</default>
<summary>Show overview when mouse approaches edge of the screen</summary>
<description>
When "mouse-sensitive" is set to "true" and this key is activated, not
only the panel but also the overview is shown when the mouse approaches
the edge of the screen.
</description>
</key>
<key name="animation-time-overview" type="d">
<default>0.4</default>
<summary>Slide in/out animation time</summary>
<description>
Amount of time it takes for the tweener to slide the panel in/out when
entering/leaving overview.
</description>
</key>
<key name="animation-time-autohide" type="d">
<default>0.2</default>
<summary>Slide in/out animation time</summary>
<description>
Amount of time it takes for the tweener to slide the panel in/out when
the mouse approaches the edge of the screen.
</description>
</key>
<key name="pressure-threshold" type="i">
<default>100</default>
<summary>Pressure barrier's threshold</summary>
<description>
Number of pixels the mouse has to overrun in order to trigger the
pressure barrier.
</description>
</key>
<key name="pressure-timeout" type="i">
<default>1000</default>
<summary>Pressure barrier's timeout</summary>
<description>
Amount of time before pressure barrier is triggered.
</description>
</key>
</schema>
</schemalist>