[Demexp-cvs] arch commit: demexp--development--0.3--patch-83

[David]

Revision: demexp--development--0.3--patch-83
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Wed Oct 27 21:05:44 CEST 2004
Standard-date: 2004-10-27 19:05:44 GMT
Modified-files: lablgtk2-clnt/browser.ml.nw
    lablgtk2-clnt/clntflags.ml.nw
    lablgtk2-clnt/demexp-lablgtk2-client.ml.nw
    lablgtk2-clnt/misc.ml.nw lablgtk2-clnt/pref.ml.nw
New-patches: address@hidden/demexp--development--0.3--patch-83
Summary: lablgtk2-client: new option --preference-file & bug fixes
Keywords: 

* lablgtk2-clnt/Pref: 

  - add explicit 'file' parameter to pref object, to load preferences
    from a given filename. Use it in autotests;

  - bug fix: erase file created by autotests;

  - display error message through given user_msg function.

* lablgtk2-clnt/: new option --preference-file: use a specified filename
  as configuration file.

* lablgtk2-clnt/Browser: code refactoring to display preference user
  messages in browser window.