/[mldonkey]/mldonkey/src/gtk2/gui/guiStarter.ml
ViewVC logotype

Diff of /mldonkey/src/gtk2/gui/guiStarter.ml

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

revision 1.2 by spiralvoice, Fri Aug 5 00:56:13 2005 UTC revision 1.3 by spiralvoice, Mon Oct 31 18:34:02 2005 UTC
# Line 6  open GuiTypes2 Line 6  open GuiTypes2
6  module M = GuiMessages  module M = GuiMessages
7  module A = GuiArt  module A = GuiArt
8    
9  let message_file_name = try  let message_file_name =
10      Sys.getenv "MLDONKEY_GUI_MESSAGES"    try
11        Sys.getenv "MLGUI_STRINGS"
12    with _ ->    with _ ->
13        let filename =       let filename =
14          Filename.concat CommonOptions.home_dir "gtk2gui_messages.ini"         Filename.concat M.lang_dir "mlgui_strings"
15        in       in
16        Unix2.safe_mkdir (Filename.dirname filename);       Unix2.safe_mkdir (Filename.dirname filename);
17        filename       filename
18    
19  let _s x = GuiUtf8.simple_utf8_of (_s "GuiStarter" x)  let _s x = GuiUtf8.simple_utf8_of (_s "GuiStarter" x)
20  let _b x = _b "GuiStarter" x    let _b x = _b "GuiStarter" x  

Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3

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