Preferenze della Guida
Nella guida è possibile impostare le seguenti preferenze:
- log_level: indica che tipo di informazioni inserire nel log della guida. Utilizzare uno dei seguenti valori.
- 0: registra solo gli errori
- 1: registra gli errori e gli avvisi
- 2: registra gli errori, gli avvisi e i messaggi informativi (debug)
- help_home: la pagina da visualizzare nell'area del contenuto all'apertura della
guida. Indicare la pagina html come /pluginId/path/to/home.html. Attualmente, la pagina iniziale predefinita
è /org.eclipse.help/doc/help_home.html.
- linksView: impostare su true o false per indicare se visualizzare o meno i collegamenti correlati. Nota: questa opzione non ha alcun effetto su infocenter.
- bookmarksView: impostare su true o false per indicare se visualizzare o meno i segnalibri. Nota: questa opzione non ha alcun effetto su infocenter.
- baseTOCS: elenchi ordinati degli indici della guida come appariranno nella libreria. Tutti gli altri indici si atterranno a questa impostazione. Gli indici non contenuti in questo elenco
verranno ignorati. Indicare il percorso di ciascun sommario /pluginId/path/to/toc.xml.
- imagesDirectory: la directory contenente le immagini utilizzate nella vista della guida. Le immagini dovranno avere lo stesso nome delle immagini contenute nel plug-in org.eclipse.help.webapp. Utilizzare il formato /pluginID/directory. Il valore predefinito è "immagini".
- advanced.toolbarBackground: CSS di sfondo per le barre degli strumenti.
Tale valore viene utilizzato nei browser che visualizzano l'UI della guida avanzato. Il valore predefinito è
"ButtonFace"
- advanced.viewBackground: CSS di sfondo per le viste di selezione.
Tale valore viene utilizzato nei browser che visualizzano l'UI della guida avanzato. Il valore predefinito è
"Window"
- advanced.toolbarFont: carattere CSS per le barre degli strumenti.
Tale valore viene utilizzato nei browser che visualizzano l'UI della guida avanzato. Il valore predefinito è
"icon"
- advanced.viewFont: carattere CSS per le viste di selezione.
Tale valore viene utilizzato nei browser che visualizzano l'UI della guida avanzato. Il valore predefinito è
"icon"
- basic.toolbarBackground: colore di sfondo per le barre degli strumenti.
Tale valore viene utilizzato nei browser che visualizzano l'UI della guida di base. Il valore predefinito
è "#D4D0C8"
- basic.viewBackground: colore di sfondo per le viste di selezione.
Tale valore viene utilizzato nei browser che visualizzano l'UI della guida di base. Il valore predefinito
è "#FFFFFF"
- productIndex: ID del plug-in contenente l'indice della documentazione pregenerato. Se presente, l'indice richiamato dal plug-in verrà utilizzato come punto di partenza
per la creazione dell'indice da utilizzare nella ricerca.
Il valore predefinito è ""
