Close cinnamon-settings on SIGINT signals

Signed-off-by: Niklas Koep <niklas.koep@gmail.com>
sound applet: add deadbeef support (closes #1351)

Signed-off-by: Niklas Koep <niklas.koep@gmail.com>
fixing keyboard tab nav in looking glass
[panels] make sure auto-hide works when a panel is disabled and enabled (on entering and exiting Scale or Expo)
Scale: on mouse-induced zoom, make the zoomed window selected

If the zoomed window is not made selected the Ctrl+w shortcut will operate on
whatever window happened to be active, which will probably come as a surprise
to the user.
[Scale] let Ctrl+m move the selected window to the next monitor
Scale: on mouse-click, make the clicked window selected

Not all mouse clicks lead to activation. One example is right-click, which
opens the window context menu. It then makes sense to make the clicked window
selected.
[Scale] add support for numeric-keypad Enter key, to work the same as the Return key
[Window Manager] make sure mixing effects for minimizing and mapping work together

In particular, make sure that the combination of desktop-effects-minimize-effect 'fade'
and desktop-effects-map-effect 'none' does not leave the restored window invisible.

This also takes care of the case where desktop effects are temporarily turned off when
restoring a minimized window, which could leave the restored window in a bad state.
Only create input regions for those parts that don't overlap with windows in top_window_group
sound applet: add support for smplayer

Signed-off-by: Niklas Koep <niklas.koep@gmail.com>
Fix tooltip placement for dual-monitor setup

When a non-panel tooltip (eg. sound applet navigation buttons) is shown on the right-hand monitor in a dual-monitor setup, the tooltip instead shows on the left monitor. This changes the code for Tooltip to be more like PanelItemTooltip.
Fix menu height for alternate layouts and themes
Account for minimized status in app switcher order

Minimized windows count last. If two windows are minimized, the same
algorithm as before takes over.
Fixes for cinnamon-desktop
Added generate_additional_files.py
Prevent duplicates in pot file
Fixed tooltips trying to destroy themselves when they're already dead..
fix a small bug in calulating heights
Merge pull request #2257 from Cobinja/override-redirect

[WIP/RFT] Only create input regions for those parts that don't overlap with windows...