Aggiunta l'interfaccia per gestire le opzioni, che per ora

Author Leonardo Robol <leonardo@debby.(none)>
Author date 2009-05-15 15:48:06
Author local date 2009-05-15 17:48:06 +0200
Committer Leonardo Robol <leonardo@debby.(none)>
Committer date 2009-05-15 15:48:06
Committer local date 2009-05-15 17:48:06 +0200
Commit a438f4a2c33088c2bec69791ecdc971737a78cad
Tree 3bd8dc07895c0db18a7e89ac3c0d12b29e02e421
Parent 4542660498ef2945e7dbb4a20613aafef14773f7
Aggiunta l'interfaccia per gestire le opzioni, che per ora
le salva ma non le legge (quindi si apre con i default e non
con le attuali)
ViewGit