519 }

   519 }

   520 

   520 

   521 window.ajaxEditorSave = function(is_draft, text_override)

   521 window.ajaxEditorSave = function(is_draft, text_override)

   522 {

   522 {

   523   if ( !is_draft )

   523   if ( !is_draft )

   524     ajaxSetEditorLoading();

   525     ajaxSetEditorLoading();

   525   if ( is_draft && editor_save_lock )

   527   if ( is_draft && editor_save_lock )

   526     return false;

   528     return false;

   527   else

   529   else

   528     editor_save_lock = true;

   530     editor_save_lock = true;

   529   

   531   

   657               if ( m.length < 2 )

   659               if ( m.length < 2 )

   658                 m = '0' + m;

   660                 m = '0' + m;

   659               var time = d.getHours() + ':' + m;

   661               var time = d.getHours() + ':' + m;

   660               lbl.innerHTML = $lang.get('editor_msg_draft_saved', { time: time });

   662               lbl.innerHTML = $lang.get('editor_msg_draft_saved', { time: time });

   661             }

   663             }

   662           }

   665           }

   663           else

   666           else

   664           {

   667           {

   665             // The save was successful; reset flags and make another request for the new page content

   668             // The save was successful; reset flags and make another request for the new page content

   666             setAjaxLoading();

   669             setAjaxLoading();