Configurazione Generale: Il file di configurazione

Per tutte le impostazioni di default, le configurazioni di base e l'aspetto dell'ambiente applicativo, pgDesigner si appoggia a un file, chiamato file di configurazione. Questo file viene normalmente creato alla prima esecuzione di pgDesigner e aggiornato automaticamente ad ogni variazione delle impostazioni di base dell'applicazione.

Alla prima esecuzione di pgDesigner, nella directory descritta in questo capitolo, viene creato il file pgdesigner.conf, che contiene tutte le impostazioni di base, le configurazioni e le personalizzazioni utente relative all'applicazione. Ogni variazione di configurazione di pgDesigner, viene aggiornata e memorizzata in questo file.

Il file è in un formato simile ai classici file .ini, con le impostazioni raggruppate in appositi blocchi, e ogni variabile, insieme al rispettivo valore, definita in una singola riga nel formato: variabile=valore.

Nel paragrafi successivi verrà data una descrizione dettagliata del contenuto di questo file e delle varie impostazioni e valori.