let drawing_area = mmlwidget#get_drawing_area in
let _ = drawing_area#misc#set_can_focus true in
let _ = drawing_area#misc#grab_focus () in
let drawing_area = mmlwidget#get_drawing_area in
let _ = drawing_area#misc#set_can_focus true in
let _ = drawing_area#misc#grab_focus () in
let _ =
(new GObj.event_ops mmlwidget#coerce#as_widget)#connect#button_press
~callback:(fun _ -> drawing_area#misc#grab_focus () ; true) in
let _ =
(new GObj.event_ops mmlwidget#coerce#as_widget)#connect#button_press
~callback:(fun _ -> drawing_area#misc#grab_focus () ; true) in
(List.mem `CONTROL (GdkEvent.Key.state e))
else if key = GdkKeysyms._v then
ignore (mmlwidget#misc#convert_selection "STRING" Gdk.Atom.primary);
(List.mem `CONTROL (GdkEvent.Key.state e))
else if key = GdkKeysyms._v then
ignore (mmlwidget#misc#convert_selection "STRING" Gdk.Atom.primary);