Merge pull request #396 from SammysHP/fix-394

Fix #394: ContentSeparator lost after hiding statusbar

Author: gkatsev

common/content/statusline.js

@@ -148,13 +148,14 @@ const StatusLine = Module("statusline", {
         var toggle_off = function () {
             bb.style.height = '0px';
             bb.style.overflow = 'hidden';
+            sv.contentSeparator = highlight.get('ContentSeparator').value;
             highlight.set('ContentSeparator', 'display: none;');
         };
 
         var toggle_on = function () {
             bb.style.height = '';
             bb.style.overflow = '';
-            highlight.set('ContentSeparator', sv.contentSeparatorValue);
+            highlight.set('ContentSeparator', sv.contentSeparator);
         };
 
         switch (request) {