Make mayavi canvas resizable