Bug fixed: the source editor now keeps the toolbar on screen.