kers_player.html">Markers and Player</a></li>
              </ul>
            </li>
          </ul>
          <ul>
            <li>
              <span>Tools and settings</span>
              <ul>
                <li><a href="tools_shortcuts.html">Default shortcuts</a></li>
                <li><a href="tools_keybinding.html">Shortcut editor</a></li>
                <li><a href="tools_skin.html">Changing the skin</a></li>
                <li><a href="tools_plugins.html">Plugins dialog</a></li>
              