method grab_focus = match child1 with Some c -> contents_grab_focus c | None -> match child2 with Some c -> contents_grab_focus c | None -> ()