Make compatible with 3.10.2 version of gnome-shell
Merge branch 'master' of https://github.com/andreaslang/gnome3_cern_hot_news