Controle voorkeuren configuratie opties Pictogram
Meer pictogrammen van Text Editor UI
Verwante pictogrammen met tags: controle, voorkeuren, configuratie, opties, gereedschap, instelling of aanpassen
