From b2c056c881dcb3035158ab177f2363c1527df397 Mon Sep 17 00:00:00 2001
From: coq
Date: Tue, 30 Dec 2003 09:56:20 +0000
Subject: ameliorations coqide

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

(limited to 'ide/utils')

diff --git a/ide/utils/configwin_ihm.ml b/ide/utils/configwin_ihm.ml
index b6f6550bd4..d359d3d706 100644
--- a/ide/utils/configwin_ihm.ml
+++ b/ide/utils/configwin_ihm.ml
@@ -1039,6 +1039,7 @@ let edit ?(with_apply=true)
     conf_struct_list =
   let return = ref Return_cancel in
   let window = GWindow.window
+		 ~position:`CENTER
       ~modal: true ~title: title
       ~width: width ~height: height ()
   in
-- 
cgit v1.2.3