From 23a7bb516677edd2c7e5b860c220fcf17734579d Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Wed, 29 Oct 2003 09:59:56 +0000
Subject: [PATCH] * updated for gtk2

---
 helm/gTopLevel/texTermEditor.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/gTopLevel/texTermEditor.ml b/helm/gTopLevel/texTermEditor.ml
index 047938828..c89fe04b2 100644
--- a/helm/gTopLevel/texTermEditor.ml
+++ b/helm/gTopLevel/texTermEditor.ml
@@ -126,7 +126,7 @@ module Make(C:Disambiguate.Callbacks) =
           Mathml_editor.drop tex_editor
            (List.mem `CONTROL (GdkEvent.Key.state e))
          else if key = GdkKeysyms._v then
-           ignore (mmlwidget#misc#convert_selection "STRING" `PRIMARY);
+           ignore (mmlwidget#misc#convert_selection "STRING" Gdk.Atom.primary);
          let adj = mmlwidget#get_hadjustment in
           mmlwidget#thaw ;
           adj#set_value adj#upper ;
-- 
2.39.2