A user can set the background with his favorite picture. To do this, a user should copy the picture to the directory ``$AUTO_DIR/plaut04/widgets'', and then change the name of the file to ``background.rgb''.
