Toggle the terminal by scrolling on the top panel.
Add a setting to enable/disable toggle by scrolling
Use correct order to watch for GSettings changes

After a recent GLib change, we need to connect to the changed signal
before we actually read its value, or we will never get a change
notification.

See nautilus commit: https://github.com/GNOME/nautilus/commit/c84f4e0
Only keep support for gnome-shell 3.10+

I can not test older versions anyway and this adds too much complexity.

This roughly resolves to Debian not getting new releases until Jessie is
released (mid-2015) as Wheezy has gnome-shell 3.4. Everyone else has
3.10+ already.
extension: Improve PR #39 (toggle on scroll)

We streamline the code with existing settings. This simplifies the
handling by always registering the scroll-event.

We could almost read the settings in the scroll event callback because
but that could make the animation stutter a bit, so we just do the same
as the other setting changes callbacks.
Merge pull request #39 from kkris/scroll-toggle

Toggle the terminal by scrolling on the top panel.
Recompile settings schema