RopeTextEditor fromUser: editor now displayes a file name