Adjust fixed header position when scrolling (#1295420)

Thomas Bruederli

2014-01-29 cbd8f7c5d2ca517c42d19ff9b92982be9f539a96

 program/js/editor.js

@@ -61,6 +61,9 @@
        if (!active)
          rcmail.spellcheck_state();
      });
      ed.onKeyPress.add(function(ed, e) {
          rcmail.compose_type_activity++;
      });
    }
  }