From 0cb00e631ea54deacbfde12e1c458ca602b97870 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 2 Jul 2003 10:24:38 +0000
Subject: [PATCH] The editor window now scrolls when the user exceeds the
 available space.

---
 helm/gTopLevel/texTermEditor.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/helm/gTopLevel/texTermEditor.ml b/helm/gTopLevel/texTermEditor.ml
index d97eb51c4..028a17710 100644
--- a/helm/gTopLevel/texTermEditor.ml
+++ b/helm/gTopLevel/texTermEditor.ml
@@ -124,8 +124,10 @@ module Make(C:Disambiguate.Callbacks) =
           end
          else if key = GdkKeysyms._BackSpace then
           Mathml_editor.drop tex_editor false ;
-         mmlwidget#thaw ;
-         false) in
+         let adj = mmlwidget#get_hadjustment in
+          mmlwidget#thaw ;
+          adj#set_value adj#upper ;
+          false) in
     let id_to_uris =
      match share_id_to_uris_with with
         None -> ref empty_id_to_uris
-- 
2.39.2