/[mldonkey]/mldonkey/src/gtk/gui/gui_options.ml
ViewVC logotype

Diff of /mldonkey/src/gtk/gui/gui_options.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.4 by mldonkey, Wed Jan 14 22:54:17 2004 UTC revision 1.5 by spiralvoice, Fri Aug 5 00:56:13 2005 UTC
# Line 31  open Options Line 31  open Options
31  module M = Gui_messages  module M = Gui_messages
32  module C = Gui_columns  module C = Gui_columns
33    
34  let _ = Unix2.safe_mkdir CommonOptions.config_dir  let _ = Unix2.safe_mkdir CommonOptions.home_dir
35  let mldonkey_gui_ini = create_options_file  let mldonkey_gui_ini = create_options_file
36      (Filename.concat CommonOptions.config_dir "mldonkey_gui.ini")      (Filename.concat CommonOptions.home_dir "mldonkey_gui.ini")
37        
38  module KeyOption = struct  module KeyOption = struct
39            

Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26