6 <expand|tmdoc-title|Personalizzare <TeXmacs>>
8 Una della maggiori caratteristiche di <TeXmacs> è che può essere
9 profondamente personalizzato. Innanzitutto, gli aspetti più importanti del
10 programma possono essere <apply|hyper-link|configurati|../config/man-configuration.it.tm>
11 in <apply|menu|Edit|Preferences>. Quasi tutte le parti di <TeXmacs> possono
12 essere interamente adattate o riprogrammate usando il linguaggio di
13 estensione <name|Guile>/<name|Scheme>. Alcuni semplici esempi si possono
14 trovare nelle sezioni seguenti:
17 <apply|branch|Introduzione al linguaggio di estensione
18 <name|Guile>|man-guile-intro.it.tm>
20 <apply|branch|Scrivere dei file di inizializzazione
21 personalizzati|man-initialization.it.tm>
23 <apply|branch|Creare dei menu dinamici personalizzati|man-menus.it.tm>
25 <apply|branch|Creare delle scorciatoie da tastiera
26 personalizzate|man-keyboard.it.tm>
28 <apply|branch|Altri file interessanti|man-files.it.tm>
31 <apply|tmdoc-copyright|1998--2003|Joris van der Hoeven|Lucia
32 Gecchelin|Andrea Centomo>
34 <expand|tmdoc-license|Permission is granted to copy, distribute and/or
35 modify this document under the terms of the GNU Free Documentation License,
36 Version 1.1 or any later version published by the Free Software Foundation;
37 with no Invariant Sections, with no Front-Cover Texts, and with no
38 Back-Cover Texts. A copy of the license is included in the section entitled
39 "GNU Free Documentation License".>
44 <associate|paragraph width|150mm>
45 <associate|odd page margin|30mm>
46 <associate|shrinking factor|4>
47 <associate|page right margin|30mm>
48 <associate|page top margin|30mm>
49 <associate|reduction page right margin|25mm>
50 <associate|page type|a4>
51 <associate|reduction page bottom margin|15mm>
52 <associate|even page margin|30mm>
53 <associate|reduction page left margin|25mm>
54 <associate|page bottom margin|30mm>
55 <associate|reduction page top margin|15mm>
56 <associate|language|italian>
62 <associate|idx-1|<tuple|<uninit>|?>>
69 <tuple|<tuple|<with|font family|<quote|ss>|Modifica>|<with|font
70 family|<quote|ss>|Preferenze>>|<pageref|idx-1>>