Merge branch 'master' of git.kde.org:kdevplatform

Authored by brauch on Jun 16 2016, 7:50 PM.

Description

Merge branch 'master' of git.kde.org:kdevplatform

Merged Changes

CommitAuthorDetailsCommitted
e10eb3cf30f4D2701kfunk
Merge remote-tracking branch 'origin/5.0' 
Jun 16 2016
49f13c14385dbrauch
navigation tooltip: hide when scroll position is changed 
Jun 15 2016
fdef369d1689kfunk
.arcconfig: Remove immutability flag 
Jun 15 2016
ccb7e739342ddhaumann
Minor code cleanups 
Jun 14 2016
1c1a4d02ecc3D1870apol
Make sure the context browser is hidden when the window is deactivated 
Jun 14 2016
55d59f3cfeefD1870apol
Make sure the context browser is hidden when the window is deactivated 
Jun 14 2016
bd672ba5d5bdapol
Only emit if mProviders actually changed 
Jun 14 2016