fixed #712 : changing windows title on renaming a notebook
Merge branch 'develop' into notebook-desc-on-tab-title
fixed #712 : changing windows title on renaming a notebook with dev sync
Merge pull request #730 from amol-jore/notebook-desc-on-tab-title

fixed #712 : changing windows title on renaming a notebook