Merge branch 'v0.7' into master

CHANGELOG.md

@@ -1,5 +1,16 @@
 #**CHANGELOG**#
 
+#### Version 0.7.2
+
+* fix crash introduced with qt 5.9.2 when the user hovers the dock
+* highly improve the attention bouncing animation
+* fix coloring for shortcut badges
+* various fixes for animations and glitches
+* hide internal tasks separator at the edges
+* improvements for window manager !compositing window state
+* pass kde review process
+* move source to kde infrastructure
+
 #### Version 0.7.1
 
 * added “New” button in Layouts manager

install.sh

@@ -13,7 +13,7 @@ fi
 
 cd build
 
-if [ "$1" == "-translations" ] ; then
+if [ "$1" == "--translations" ] ; then
     if [ -a po ] ; then
         sudo rm -fr po
     fi
@@ -22,6 +22,15 @@ if [ "$1" == "-translations" ] ; then
     fi
     cmake -DCMAKE_INSTALL_PREFIX=/usr -DKDE_L10N_BRANCH=trunk -DKDE_L10N_AUTO_TRANSLATIONS=ON -DCMAKE_BUILD_TYPE=$build_type ..
     make fetch-translations
+elif [ "$1" == "--translations-stable" ] ; then
+    if [ -a po ] ; then
+        sudo rm -fr po
+    fi
+    if [ -a locale ] ; then
+        sudo rm -fr locale
+    fi
+    cmake -DCMAKE_INSTALL_PREFIX=/usr -DKDE_L10N_BRANCH=stable -DKDE_L10N_AUTO_TRANSLATIONS=ON -DCMAKE_BUILD_TYPE=$build_type ..
+    make fetch-translations    
 else
     cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=$build_type ..
     make