navigation tooltip: hide when scroll position is changed

Authored by brauch on Jun 15 2016, 4:46 PM.

Description

navigation tooltip: hide when scroll position is changed

Details

Committed
brauchJun 15 2016, 4:46 PM
Differential Revision
D2701: Process QML runtime errors
Parents
R32:ce0e61c9c9bf: Merge branch '5.0'
Branches
Unknown
Tags
Unknown