Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
Prossima revisione Both sides next revision | |||
it:text_editor [2009/12/12 12:47] frank50_s creata |
it:text_editor [2009/12/12 13:28] frank50_s |
||
---|---|---|---|
Linea 1: | Linea 1: | ||
====== Editor di testo ====== | ====== Editor di testo ====== | ||
- | L'editor di sorgente viene utilizzato per modificare qualsiasi tipo di file di testo: o caricato da un file, o sotto forma di MANIFEST o di risorsa HTML. Questo editor, come molti altri editor dell'IDE, avrà il proprio menù tra i menu **Project** e il menu **Tools**. Nel menù **Source** troverete altre impostazioni e comandi. Ci sono alcune proprietà disponibili: selezionare **Properities** dal menù **File**. Per modificare le impostazioni di base, usare la scheda //Source//. | + | L'editor di sorgente viene utilizzato per modificare qualsiasi tipo di file di testo: o caricato da un file, o sotto forma di MANIFEST o di risorsa HTML. Questo editor, come molti altri editor dell'IDE, avrà il proprio menù tra i menu **Project** e il menu **Tools**. |
+ | |||
+ | ===== Alcune proprietà ===== | ||
+ | Selezionando **Properities** dal menù **File** si può sceglire il linguaggio di programmazione. Per modificare le impostazioni di base, usare la scheda //Source// nella finestra di dialogo **Options** nel menù **Tools**. | ||
+ | Tra le altre cose nel menù **Source** è possibile selezionare //View linenumbers// visualizza i numeri di riga. |