3 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
\r
4 <title>The source code</title>
\r
5 <link href="../resources/prettify/prettify.css" type="text/css" rel="stylesheet" />
\r
6 <script type="text/javascript" src="../resources/prettify/prettify.js"></script>
\r
8 <body onload="prettyPrint();">
\r
9 <pre class="prettyprint lang-js">/*
12 * 04-10-2007, 11:25 AM
13 * Updated by Federico Grilli 21/12/2007
16 Ext.UpdateManager.defaults.indicatorText = '<div class="loading-indicator">Caricamento in corso...</div>';
19 Ext.View.prototype.emptyText = "";
22 if(Ext.grid.GridPanel){
23 Ext.grid.GridPanel.prototype.ddText = "{0} righe selezionate";
27 Ext.TabPanelItem.prototype.closeText = "Chiudi pannello";
31 Ext.form.Field.prototype.invalidText = "Valore non valido";
35 Ext.LoadMask.prototype.msg = "Caricamento in corso...";
53 Date.getShortMonthName = function(month) {
54 return Date.monthNames[month].substring(0, 3);
72 Date.getMonthNumber = function(name) {
73 return Date.monthNumbers[name.substring(0, 1).toUpperCase() + name.substring(1, 3).toLowerCase()];
86 Date.getShortDayName = function(day) {
87 return Date.dayNames[day].substring(0, 3);
91 Ext.MessageBox.buttonText = {
100 Ext.util.Format.date = function(v, format){
102 if(!(v instanceof Date)) v = new Date(Date.parse(v));
103 return v.dateFormat(format || "d/m/Y");
108 Ext.apply(Ext.DatePicker.prototype, {
110 minText : "Data precedente alla data minima",
111 maxText : "Data successiva alla data massima",
112 disabledDaysText : "",
113 disabledDatesText : "",
114 monthNames : Date.monthNames,
115 dayNames : Date.dayNames,
116 nextText : 'Mese successivo (Ctrl+Destra)',
117 prevText : 'Mese precedente (Ctrl+Sinistra)',
118 monthYearText : 'Scegli un mese (Ctrl+Su/Giu per cambiare anno)',
119 todayTip : "{0} (Barra spaziatrice)",
121 cancelText : "Annulla",
122 okText : " OK ",
127 if(Ext.PagingToolbar){
128 Ext.apply(Ext.PagingToolbar.prototype, {
129 beforePageText : "Pagina",
130 afterPageText : "di {0}",
131 firstText : "Prima pagina",
132 prevText : "Pagina precedente",
133 nextText : "Pagina successiva",
134 lastText : "Ultima pagina",
135 refreshText : "Aggiorna",
136 displayMsg : "Record {0} - {1} di {2}",
137 emptyMsg : 'Nessun dato da mostrare'
141 if(Ext.form.TextField){
142 Ext.apply(Ext.form.TextField.prototype, {
143 minLengthText : "La lunghezza minima \u00E8 {0}",
144 maxLengthText : "La lunghezza massima \u00E8 {0}",
145 blankText : "Campo obbligatorio",
151 if(Ext.form.NumberField){
152 Ext.apply(Ext.form.NumberField.prototype, {
153 minText : "Il valore minimo \u00E8 {0}",
154 maxText : "Il valore massimo \u00E8 {0}",
155 nanText : "{0} non \u00E8 un valore numerico corretto"
159 if(Ext.form.DateField){
160 Ext.apply(Ext.form.DateField.prototype, {
161 disabledDaysText : "Disabilitato",
162 disabledDatesText : "Disabilitato",
163 minText : "La data deve essere successiva al {0}",
164 maxText : "La data deve essere precedente al {0}",
165 invalidText : "{0} non \u00E8 una data valida. Deve essere nel formato {1}",
167 altFormats : "d/m/Y|d-m-y|d-m-Y|d/m|d-m|dm|dmy|dmY|d|Y-m-d"
171 if(Ext.form.ComboBox){
172 Ext.apply(Ext.form.ComboBox.prototype, {
173 loadingText : "Caricamento in corso...",
174 valueNotFoundText : undefined
179 Ext.apply(Ext.form.VTypes, {
180 emailText : 'Il campo deve essere un indirizzo e-mail nel formato "user@example.com"',
181 urlText : 'Il campo deve essere un indirizzo web nel formato "http:/'+'/www.example.com"',
182 alphaText : 'Il campo deve contenere solo lettere e _',
183 alphanumText : 'Il campo deve contenere solo lettere, numeri e _'
187 if(Ext.form.HtmlEditor){
188 Ext.apply(Ext.form.HtmlEditor.prototype, {
189 createLinkText : 'Inserire un URL per il link:',
192 title: 'Grassetto (Ctrl+B)',
193 text: 'Rende il testo selezionato in grassetto.',
194 cls: 'x-html-editor-tip'
197 title: 'Corsivo (Ctrl+I)',
198 text: 'Rende il testo selezionato in corsivo.',
199 cls: 'x-html-editor-tip'
202 title: 'Sottolinea (Ctrl+U)',
203 text: 'Sottolinea il testo selezionato.',
204 cls: 'x-html-editor-tip'
207 title: 'Ingrandisci testo',
208 text: 'Aumenta la dimensione del carattere.',
209 cls: 'x-html-editor-tip'
212 title: 'Rimpicciolisci testo',
213 text: 'Diminuisce la dimensione del carattere.',
214 cls: 'x-html-editor-tip'
217 title: 'Colore evidenziatore testo',
218 text: 'Modifica il colore di sfondo del testo selezionato.',
219 cls: 'x-html-editor-tip'
222 title: 'Colore carattere',
223 text: 'Modifica il colore del testo selezionato.',
224 cls: 'x-html-editor-tip'
227 title: 'Allinea a sinistra',
228 text: 'Allinea il testo a sinistra.',
229 cls: 'x-html-editor-tip'
233 text: 'Centra il testo.',
234 cls: 'x-html-editor-tip'
237 title: 'Allinea a destra',
238 text: 'Allinea il testo a destra.',
239 cls: 'x-html-editor-tip'
241 insertunorderedlist : {
242 title: 'Elenco puntato',
243 text: 'Elenco puntato.',
244 cls: 'x-html-editor-tip'
246 insertorderedlist : {
247 title: 'Elenco numerato',
248 text: 'Elenco numerato.',
249 cls: 'x-html-editor-tip'
252 title: 'Collegamento',
253 text: 'Trasforma il testo selezionato in un collegamanto.',
254 cls: 'x-html-editor-tip'
258 text: 'Passa alla modalit\u00E0 editing del sorgente.',
259 cls: 'x-html-editor-tip'
265 if(Ext.grid.GridView){
266 Ext.apply(Ext.grid.GridView.prototype, {
267 sortAscText : "Ordinamento crescente",
268 sortDescText : "Ordinamento decrescente",
269 lockText : "Blocca colonna",
270 unlockText : "Sblocca colonna",
271 columnsText : "Colonne"
275 if(Ext.grid.GroupingView){
276 Ext.apply(Ext.grid.GroupingView.prototype, {
277 emptyGroupText : '(Nessun dato)',
278 groupByText : 'Raggruppa per questo campo',
279 showGroupsText : 'Mostra nei gruppi'
283 if(Ext.grid.PropertyColumnModel){
284 Ext.apply(Ext.grid.PropertyColumnModel.prototype, {
286 valueText : "Valore",
291 if(Ext.layout.BorderLayout && Ext.layout.BorderLayout.SplitRegion){
292 Ext.apply(Ext.layout.BorderLayout.SplitRegion.prototype, {
293 splitTip : "Trascina per cambiare dimensioni.",
294 collapsibleSplitTip : "Trascina per cambiare dimensioni. Doppio click per nascondere."