Ich hab gerade mal bei mir nachgeschaut. Installiert habe ich eine Entwicklerversion der 1.6, gerade erst vor wenigen Minuten erstellt.
Da ist die Auswahl noch da.
Kann es daher evtl. ein Windows-Problem sein, dass das bei Dir aktuell nicht angezeigt wird? Ich hatte heute z.B. massive Probleme, weil Icons der
Wawi angeblich nicht da waren. Nach Neustart des PCs gings.
Edit sagt:
In der 1.5.46.3 ist das auch da: