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