[Demexp-cvs] arch commit: demexp--dev--0.5--patch-25

[David]

Revision: demexp--dev--0.5--patch-25
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Jun 12 21:51:25 CEST 2005
Standard-date: 2005-06-12 19:51:25 GMT
Modified-files: Makefile gtk2-clnt/browser.ml.nw
    gtk2-clnt/clntflags.ml.nw
    gtk2-clnt/demexp-gtk2-client.ml.nw gtk2-clnt/pref.ml.nw
New-patches: address@hidden/demexp--dev--0.5--patch-25
Summary: preferences now support multiple servers and is put in HOME/.demexp/
Keywords: client

* Makefile: brown paper bag fix: set warning as error for all compiled
  programs!

* gtk2-clnt/Pref: rewrite Pref module:

  - it can now handle serveral servers simultaneously;

  - it saves configuration information in $HOME/.demexp/ directory;

  - login information is saved in $HOME/.demexp/logins.

* gtk2-clnt/Browser
  gtk2-clnt/demexp-gtk2-client: use new Pref module. Modify code so that
  each browser window has its preference filed, configured for its
  server. All server:port information is now passed through a pref
  object.