[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--dev--0.5--patch-25
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--dev--0.5--patch-25 |
Date: |
Sun, 12 Jun 2005 21:51:48 +0200 |
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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--dev--0.5--patch-25,
David <=