Merge remote-tracking branch 'origin/5.0'

Authored by kfunk on Jul 26 2016, 7:18 AM.

Description

Merge remote-tracking branch 'origin/5.0'

Merged Changes

CommitAuthorDetailsCommitted
a7e7effbdf3abrauch
remove spammy debug 
Jul 25 2016
7759a10889e5zwabel
Fix navigation tooltips etc. in #ifdeffed parts of headers 
Jul 25 2016
b38947e5edd8zwabel
Don't pop up navigation tooltip by keyboard when completion is active 
Jul 25 2016
04b3000b8d27kfunk
Fix a few -Wdocumentation warnings 
Jul 25 2016
64d18d73aa88kfunk
Minor: Coding style++ 
Jul 25 2016
63266d34657fbrauch
Add a flag to the navigation widget to decide whether it's embedded or shown in… 
Jul 23 2016
500c1b619e64brauch
Revert "Do not apply highlighting if not holding the revision the context… 
Jul 21 2016
addfd2d0fc9dbrauch
assistant: remove dead code (fixes compiler warning) 
Jul 21 2016
939583495c04brauch
Do not apply highlighting if not holding the revision the context belongs to. 
Jul 21 2016
c9265847835dbrauch
Do not perform highlighting when the revision is not held. 
Jul 20 2016