[devdocsgjs/main: 950/1867] Merge pull request #1102 from byted/fix/issue_1101-auto-hide_not_working_after_reload

[Andy Holmes <andyholmes src gnome org>]

commit f0723ca0e154c74042d09e09454b110bc409cdbb
Merge: 45fa2499 e0e158c8
Author: Jasper van Merle <jaspervmerle gmail com>
Date:   Thu Oct 10 03:15:37 2019 +0200

    Merge pull request #1102 from byted/fix/issue_1101-auto-hide_not_working_after_reload
    
    Fix issue #1101: reloading breaks auto-hide layout

 assets/javascripts/app/router.coffee   | 3 +++
 assets/javascripts/app/settings.coffee | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)
---