From e3aef29b48e6f62abe8c5771320332004c132774 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 15 May 2003 08:13:55 +0000
Subject: class CoqIde donnée à l'application, pour une meilleure intégration
 avec le Window Manager

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

diff --git a/ide/coqide.ml b/ide/coqide.ml
index db0f394e6e..5abc2c6e14 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1505,6 +1505,7 @@ let main files =
 
   (* Main window *)
   let w = GWindow.window 
+	    ~wm_class:"CoqIde" ~wm_name:"CoqIde"
 	    ~allow_grow:true ~allow_shrink:true 
 	    ~width:!current.window_width ~height:!current.window_height 
 	    ~title:"CoqIde" ()
-- 
cgit v1.2.3