mmlwidget#thaw
end
else if key = GdkKeysyms._BackSpace then
- Mathml_editor.drop tex_editor false ;
+ 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 ;