area -- a gtk:drawing-area widget
cr -- a cairo:context-t instance to draw to
height -- an integer with the actual width of the contents
width -- an integer with the actual height of the contents

Whenever the drawing area needs to redraw, this callback function will be called. This function should exclusively redraw the contents of the drawing area and must not call any widget functions that cause changes.