anchor.diff:  </div>
   
   <script>
  +
  +function submit_form() {
  +  last_saved_content = cur_content;
  +  $("#edit-form").submit();
  +}
   
   var cur_content = $("#edit-content").val();
   var last_saved_content = cur_content;
  
positive.code:     set_status("not-saved", "Modified");
    }
  }
  var status_updator = setInterval(update_status, 1 * 1000);
  
  
  function readable_time_diff(a, b) {
    var ms_diff = a - b;
  
negative.code: $(document).ready(do_layout_elems);
  $(window).resize(do_layout_elems);
  
  $(window).on('beforeunload', function() {
    if (last_saved_content == cur_content) {
      return;
    } else {
      return "Content is not saved yet.";
    }
  });
  
  </script>
  