Optionen für den Editor