From 098200d7e14805e8ae8b8f3873faec3ee3c096ad Mon Sep 17 00:00:00 2001
From: pboutill
Date: Wed, 12 Sep 2012 14:10:37 +0000
Subject: Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15793 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/utils/configwin_messages.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/utils')

diff --git a/ide/utils/configwin_messages.ml b/ide/utils/configwin_messages.ml
index dbb4900331..de1b4721d0 100644
--- a/ide/utils/configwin_messages.ml
+++ b/ide/utils/configwin_messages.ml
@@ -30,7 +30,7 @@ let version = "1.2";;
 
 let html_config = "Configwin bindings configurator for html parameters"
 
-let home = Envars.home ~warn:Minilib.log
+let home = Option.default "" (Glib.get_home_dir ())
 
 let mCapture = "Capture";;
 let mType_key = "Type key" ;;
-- 
cgit v1.2.3