mmlwidget#thaw
end
else if key = GdkKeysyms._BackSpace then
- Mathml_editor.drop tex_editor false ;
- mmlwidget#thaw ;
- false) in
+ Mathml_editor.drop tex_editor
+ (List.mem `CONTROL (GdkEvent.Key.state e)) ;
+ 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