This function automatically causes a redraw, i.e. the front end can
expect its drawing API to be called from \e{within} a call to this
This function automatically causes a redraw, i.e. the front end can
expect its drawing API to be called from \e{within} a call to this