Remove obsolete TODO
Grid widget: Parameterized keys
HoleEdit: Focus passed on into hole result widgets

* This doesn't look as good!
* But it is more correct!

Should we do a hack where we put the cursor around the whole result, and
send in a parameter "don't really show the cursor"?