<commit_before><%-- 
    Document   : app_form
    Created on : 26.10.2011, 15:05:51
    Author     : <NAME>
--%>

<%@page contentType="text/html" pageEncoding="UTF-8"%>
<%@taglib prefix="c" uri="http://java.sun.com/jsp/jstl/core" %>
<%@taglib prefix="spring" uri="http://www.springframework.org/tags" %>
<%@taglib prefix="joda" uri="http://www.joda.org/joda/time/tags" %>
<%@taglib prefix="form" uri="http://www.springframework.org/tags/form" %>


<!DOCTYPE html>
<html>

    <head>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <link rel="stylesheet" type="text/css" href="<spring:url value='/jquery/css/ui-lightness/jquery-ui-1.8.16.custom.css' />" />
        <link rel="stylesheet" type="text/css" href="<spring:url value='/css/fluid_grid.css' />" />
        <link rel="stylesheet" type="text/css" href="<spring:url value='/css/main.css' />" /> 
        <title><spring:message code="title" /></title>
        <script src="<spring:url value='/jquery/js/jquery-1.6.2.min.js' />" type="text/javascript" ></script>
        <script src="<spring:url value='/jquery/js/jquery-ui-1.8.16.custom.min.js' />" type="text/javascript" ></script>
        <script type="text/javascript">
            $(function() {
                $.datepicker.regional['en'] = {
                    closeText: 'Done',
                    prevText: 'Prev',
                    nextText: 'Next',
                    currentText: 'Today',
                    monthNames: ['January','February','March','April','May','June',
                        'July','August','September','October','November','December'],
                    monthNamesShort: ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun',
                        'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec'],
                    dayNames: ['Sunday', 'Monday', 'Tuesday', 'Wednesday', 'Thursday', 'Friday', 'Saturday'],
                    dayNamesShort: ['Sun', 'Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat'],
                    dayNamesMin: ['Su','Mo','Tu','We','Th','Fr','Sa'],
                    weekHeader: 'Wk',
                    dateFormat: 'dd/mm/yy',
                    firstDay: 1,
                    isRTL: false,
                    showMonthAfterYear: false,
                    yearSuffix: ''};  
                $.datepicker.regional['de'] = {
                    closeText: 'schließen',
                    prevText: '&#x3c;zurück',
                    nextText: 'Vor&#x3e;',
                    currentText: 'heute',
                    monthNames: ['Januar','Februar','März','April','Mai','Juni',
                        'Juli','August','September','Oktober','November','Dezember'],
                    monthNamesShort: ['Jan','Feb','Mär','Apr','Mai','Jun',
                        'Jul','Aug','Sep','Okt','Nov','Dez'],
                    dayNames: ['Sonntag','Montag','Dienstag','Mittwoch','Donnerstag','Freitag','Samstag'],
                    dayNamesShort: ['So','Mo','Di','Mi','Do','Fr','Sa'],
                    dayNamesMin: ['So','Mo','Di','Mi','Do','Fr','Sa'],
                    weekHeader: 'Wo',
                    dateFormat: 'dd.mm.yy',
                    firstDay: 1,
                    isRTL: false,
                    showMonthAfterYear: false,
                    yearSuffix: ''};  
                $.datepicker.setDefaults($.datepicker.regional["${pageContext.request.locale.language}"]);
            });
        </script>           
        <script type="text/javascript">
            $(function() {
                $.datepicker.regional["${pageContext.request.locale.language}"];
                var dates = $( "#from, #to, #at" ).datepicker({
                    dateFormat: "dd.mm.yy",
                    defaultDate: "+1w",
                    numberOfMonths: 1,
                    onSelect: function( selectedDate ) {
                        var option = this.id == "from" ? "minDate" : "maxDate",
                        instance = $( this ).data( "datepicker" ),
                        date = $.datepicker.parseDate(
                        instance.settings.dateFormat ||
                            $.datepicker._defaults.dateFormat,
                        selectedDate, instance.settings );
                        dates.not( this ).datepicker( "option", option, date );
                    }
                });
            });
        </script>
        <c:if test="${appForm.howLong != null}">
            <script type="text/javascript">
                $(document).ready(function() {
                    
                    var dayLength = "<c:out value='${appForm.howLong}' />";
            
                    if(dayLength.indexOf("FULL") != -1) {
                        $('#full-day').show(); $('#half-day').hide();
                    } 
                
                    if(dayLength.indexOf("MORNING") != -1) {
                        $('#half-day').show(); $('#full-day').hide();
                    }
                
                    if(dayLength.indexOf("NOON") != -1) {
                        $('#half-day').show(); $('#full-day').hide();
                    }<commit_msg>Modified jquery datepicker function for full day holidays: if the input field #from is filled,  the input field #to gets the value of #from as default.   refs #9244<commit_after><%-- 
    Document   : app_form
    Created on : 26.10.2011, 15:05:51
    Author     : <NAME>
--%>

<%@page contentType="text/html" pageEncoding="UTF-8"%>
<%@taglib prefix="c" uri="http://java.sun.com/jsp/jstl/core" %>
<%@taglib prefix="spring" uri="http://www.springframework.org/tags" %>
<%@taglib prefix="joda" uri="http://www.joda.org/joda/time/tags" %>
<%@taglib prefix="form" uri="http://www.springframework.org/tags/form" %>


<!DOCTYPE html>
<html>

    <head>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <link rel="stylesheet" type="text/css" href="<spring:url value='/jquery/css/ui-lightness/jquery-ui-1.8.16.custom.css' />" />
        <link rel="stylesheet" type="text/css" href="<spring:url value='/css/fluid_grid.css' />" />
        <link rel="stylesheet" type="text/css" href="<spring:url value='/css/main.css' />" /> 
        <title><spring:message code="title" /></title>
        <script src="<spring:url value='/jquery/js/jquery-1.6.2.min.js' />" type="text/javascript" ></script>
        <script src="<spring:url value='/jquery/js/jquery-ui-1.8.16.custom.min.js' />" type="text/javascript" ></script>
        <script type="text/javascript">
            $(function() {
                $.datepicker.regional['en'] = {
                    closeText: 'Done',
                    prevText: 'Prev',
                    nextText: 'Next',
                    currentText: 'Today',
                    monthNames: ['January','February','March','April','May','June',
                        'July','August','September','October','November','December'],
                    monthNamesShort: ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun',
                        'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec'],
                    dayNames: ['Sunday', 'Monday', 'Tuesday', 'Wednesday', 'Thursday', 'Friday', 'Saturday'],
                    dayNamesShort: ['Sun', 'Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat'],
                    dayNamesMin: ['Su','Mo','Tu','We','Th','Fr','Sa'],
                    weekHeader: 'Wk',
                    dateFormat: 'dd/mm/yy',
                    firstDay: 1,
                    isRTL: false,
                    showMonthAfterYear: false,
                    yearSuffix: ''};  
                $.datepicker.regional['de'] = {
                    closeText: 'schließen',
                    prevText: 'Zurück',
                    nextText: 'Vor',
                    currentText: 'heute',
                    monthNames: ['Januar','Februar','März','April','Mai','Juni',
                        'Juli','August','September','Oktober','November','Dezember'],
                    monthNamesShort: ['Jan','Feb','Mär','Apr','Mai','Jun',
                        'Jul','Aug','Sep','Okt','Nov','Dez'],
                    dayNames: ['Sonntag','Montag','Dienstag','Mittwoch','Donnerstag','Freitag','Samstag'],
                    dayNamesShort: ['So','Mo','Di','Mi','Do','Fr','Sa'],
                    dayNamesMin: ['So','Mo','Di','Mi','Do','Fr','Sa'],
                    weekHeader: 'Wo',
                    dateFormat: 'dd.mm.yy',
                    firstDay: 1,
                    isRTL: false,
                    showMonthAfterYear: false,
                    yearSuffix: ''};  
                $.datepicker.setDefaults($.datepicker.regional["${pageContext.request.locale.language}"]);
            });
        </script>           
        <script type="text/javascript">
            $(function() {
                var dates = $( "#from, #to, #at" ).datepicker({
                    minDate: +0,
                    dateFormat: "dd.mm.yy",
                    numberOfMonths: 1,
                    onSelect: function( selectedDate ) {
                        var option = this.id == "from" ? "minDate" : "maxDate",
                        instance = $( this ).data( "datepicker" ),
                        date = $.datepicker.parseDate(
                        instance.settings.dateFormat ||
                            $.datepicker._defaults.dateFormat,
                        selectedDate, instance.settings );
                        dates.not( this ).datepicker( "option", option, date );
                        $("#to").datepicker("setDate", "#from");
                    }
                });
            });
        </script>
        <c:if test="${appForm.howLong != null}">
            <script type="text/javascript">
                $(document).ready(function() {
                    
                    var dayLength = "<c:out value='${appForm.howLong}' />";
            
                    if(dayLength.indexOf("FULL") != -1) {
                        $('#full-day').show(); $('#half-day').hide();
                    } 
                
                    if(dayLength.indexOf("MORNING") != -1) {
                        $('#half-day').show(); $('#full-day').hide();
                    }
                
                    if(dayLength.indexOf("NOON") != -1) {
                        $('#half-day').show(); $('#full-day').hide();
                    }
{'fraction_non_alphanumeric': 0.18751210067763796, 'fraction_numerical': 0.007163601161665053, 'mean_word_length': 1.5833958489622406, 'pattern_counts': {'":': 0, '<': 69, '<?xml version=': 0, '>': 69, 'https://': 0, 'lorem ipsum': 0, 'www.': 6, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7244561', 'n_tokens_mistral': 3074, 'n_tokens_neox': 2769, 'n_words': 458}