Merge remote-tracking branch 'origin/5.0'

Authored by kfunk on Jul 12 2016, 10:05 PM.

Description

Merge remote-tracking branch 'origin/5.0'

Details

Merged Changes

CommitAuthorDetailsCommitted
9139de66ed56D1100kfunk
Use new-style assistant popups 
Jul 12 2016
d7dcc54daf84brauch/kfunk
use pretty file name for window title 
Jul 12 2016
31fa785d44b0brauch/kfunk
Fix ideal size calculation of navigation widget 
Jul 12 2016