www/editor/js/editpart.js
// Refresh save/undo/redo buttons state
Refresh save/undo/redo buttons state
Refresh save / undo / redo buttons state
function refresh_edit_buttons(canEditSomething) {
  if (canEditSomething) {
    $( "#save" ).button( "enable" );
    $( "#saveas" ).button( "enable" );
    $( "#undo" ).button( "enable" );
    $( "#redo" ).button( "enable" );
  } else {
    $( "#save" ).button( "disable" );
    $( "#saveas" ).button( "disable" );
    $( "#undo" ).button( "disable" );
    $( "#redo" ).button( "disable" );
  }
}
function refresh_edit_buttons ( canEditSomething ) { if ( canEditSomething ) { $ ( "#save" ) . button ( "enable" ) ; $ ( "#saveas" ) . button ( "enable" ) ; $ ( "#undo" ) . button ( "enable" ) ; $ ( "#redo" ) . button ( "enable" ) ; } else { $ ( "#save" ) . button ( "disable" ) ; $ ( "#saveas" ) . button ( "disable" ) ; $ ( "#undo" ) . button ( "disable" ) ; $ ( "#redo" ) . button ( "disable" ) ; } }
Refresh save/undo/redo buttons state
Refresh save / undo / redo buttons state