/**
     * Display skin specific options
     */
    function display_skin_settings($Form, $user_ID)
    {
        global $UserSettings, $current_User;
        $Form->begin_fieldset(T_('Admin skin settings'), array('id' => 'admin_skin_settings'));
        parent::display_skin_settings($Form, $user_ID);
        $user_admin_skin = $UserSettings->get('admin_skin', $user_ID);
        if ($UserSettings->get('admin_skin', $current_User->ID) == $user_admin_skin) {
            $Form->checklist(array(array('show_evobar', 1, T_('Show evobar'), $UserSettings->get('show_evobar', $user_ID)), array('show_breadcrumbs', 1, T_('Show breadcrumbs path'), $UserSettings->get('show_breadcrumbs', $user_ID)), array('show_menu', 1, T_('Show Menu'), $UserSettings->get('show_menu', $user_ID))), 'chicago_settings', T_('Chicago skin settings'));
        } else {
            $Form->info('', sprintf(T_('Admin skin settings for this user cannot be edited because this user is using a different admin skin (%s)'), $user_admin_skin));
        }
        $Form->end_fieldset();
        // JavaScript code to dynamically change display settings. show_evobar or show_menu always have to be checked
        ?>
		<script type="text/javascript">
		jQuery( '[name = show_evobar], [name = show_menu]' ).click( function()
		{
			if( ! ( jQuery( '[name = show_evobar]' ).attr( 'checked' ) || jQuery( '[name = show_menu]' ).attr( 'checked' ) ) )
			{
				jQuery( '[name = show_evobar]' ).attr( 'checked', true );
			}
		} );
		</script>
		<?php 
    }