Codebase list gnome-shell-extension-autohidetopbar / debian/20140113-1 org.gnome.shell.extensions.hidetopbar.gschema.xml
debian/20140113-1

Tree @debian/20140113-1 (Download .tar.gz)

org.gnome.shell.extensions.hidetopbar.gschema.xml @debian/20140113-1raw · history · blame

<?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>