BrainTop User's Guide

4. Strumenti per la configurazione

Il pannello per la configurazione globale del sistema e' accessibile mediante il menu delle applicazioni, disponibile cliccando con il tasto destro del mouse in un qualsiasi punto libero sul desktop.
Alla voce "BrainSettingsEditor", sotto il menu "Settings", si trova il pannello.

Attualmente esso riporta nove sottopannelli, di cui uno, etichettato come "Desktop: activities", e' ancora di fase di sviluppo e pertanto se ne sconsiglia fortemente l'utilizzo se non a fini di test:

Desktop: backdrop - per definire il wallpaper e le relative opzioni	Desktop: menu - per definire le voci che devono apparire nel menu contestuale al desktop. (da BrainTop-0.1rc2)
Keyboard - parametri per la tastiera e intervalli di ripetizione	Mouse - opzioni per i tempi di risposta del mouse
Session Management - opzioni per il login e il logout dal sistema	User Interface - parametri grafici generali
Window Manager - opzioni per il gestore di finestre, posizionamento degli elementi e parametri avanzati di diversa natura	Workspace Margins - limiti dei margini da fissare ai margini dello schermo (da BrainTop-0.1rc2)

I pannelli sopra descritti presentano ancora diverse imperfezioni: non tutte le funzionalita' dei moduli originali sono state riportate, e spesso la modifica di un parametro non trova riscontro immediato ma solo dopo il riavvio del window manager.

Prossimamente dovra' essere incluso anche il pannello per manipolare gli insiemi di elementi che compongono le diverse attivita'.