Currently Choice.insert() is implemented in the shared code by removing
everything after the insertion location, appending the new element and
then appending the old elements again.

This is inefficient for platforms that can do it in the toolkit.
It causes a lot of unnecessary redraw operations.

insert() should be changed to allow the toolkit to do it, if it is able.