Hallo, ich habe bei Github nichts gefunden, aber ist es geplant das man im Editor später auch verschiedene Schriftarten wählen kann?

Danke