Merge branch 'dev'
Shrinks task name in tabs and miniview. Does not work for tasks added before this pull.

Change-Id: I677e426f54d97e051cc8f15b4f73943fe5d265a5

Change-Id: I677e426f54d97e051cc8f15b4f73943fe5d265a5

Change-Id: I677e426f54d97e051cc8f15b4f73943fe5d265a5
Merge "Shrinks task name in tabs and miniview. Does not work for tasks added before this pull." into feature/tipanddrag
Merge remote-tracking branch 'origin/feature/tipanddrag' into integration