/* 
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */


(function($){
  Drupal.behaviors.checkHTMLMenu = {
    attach: function(context, settings) {
      if($("#edit-menu-html").length)
        $("#edit-menu-html").attr('checked', 'checked');
      if($("#edit-html").length)
        $("#edit-html").attr('checked', 'checked');
    }
  }
})(jQuery)