/**
     * @access private
     */
    protected function _draw_scripts()
    {
        parent::_draw_scripts();
        ?>
  function grant_all_permissions (form)
  {
    set_all_controls_of_type (form, 'checkbox', 1);
  }

  function grant_no_permissions (form)
  {
    set_all_controls_of_type (form, 'checkbox', 0);
  }
<?php 
    }
    /**
     * @access private
     */
    protected function _draw_scripts()
    {
        parent::_draw_scripts();
        ?>
  function set_main_theme (name)
  {
    <?php 
        echo $this->js_form_name();
        ?>
.main_CSS_file_name.value = name;
    <?php 
        echo $this->js_form_name();
        ?>
.submit ();
  }
<?php 
    }