Update to Gnome 3.14
Updated NEWS/ROADMAP
Bring back transparency support

It might be available on some distributions like Fedora.
Call SetGeometry with `y - panelBox.height` instead of `y`.

Speculation: in Gnome 3.14 GtkWindow has the y origin just under panelBox.
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
Merge pull request #85 from projedi/vertical-offset-fix

Call SetGeometry with `y - panelBox.height` instead of `y`.
extension: Honour the scale factor for HiDPI

This fixes the second part of #84: Vertical offset when using HighDPI
terminal: Remove leftovers for gnome-shell 3.10+

Gnome-Shell 3.10.0 features VTE 0.34.8 so also drop fixes and
workarounds for older versions.
extension: Use the panelBox ::allocation signal

The panel actor allocation signal is not always sent with the various
other extensions. They almost all play with the panelBox actor instead,
like in the hide-topbar extension.

Switch to that allocation signal instead and throttles all the geometry
changes but more quickly as it seems not such a big deal comparing to
the past.

This fixes #35: Space at the top when top panel hidden