Général, Éditeur de texte, boîte de dialogue Options