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

[David]

Revision: demexp--development--0.3--patch-38
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Sep  5 20:11:51 CEST 2004
Standard-date: 2004-09-05 18:11:51 GMT
Modified-files: lablgtk2-clnt/demexp-lablgtk2-client.ml.nw
    lablgtk2-clnt/demexp_gladeui.glade
    lablgtk2-clnt/pref.ml.nw
New-patches: address@hidden/demexp--development--0.3--patch-38
Summary: lablgtk2-client: handling of preferences window
Keywords: 

* lablgtk2-client: 

  - now quit when selecting Quit in the File menu;

  - correct English translation of the File menu;

  - handling of preferences dialog. It correctly loads and saves its
    content.