| 53 | | . Ga naar Bewerken -> Voorkeuren (of druk op F12) |
| 54 | | . Scroll naar beneden naar de categorie 'Gevorderde voorkeuren' |
| 55 | | . In het zoekvak boven de lijst met verschillende configuratie-items, voer `gui` in om de lijst te filteren. Op die manier zult u in staat zijn om snel de relevante items te krijgen. |
| 56 | | . Pas de elementen aan uw behoeften aan door items te wijzigen die beginnen met `gui.scale` of eindigen op `.font`. Bijvoorbeeld: om alles met 50% te vergroten, wijzig ze allemaal van '1.0' naar '1.5'. |
| 57 | | . In aanvulling daarop kunt u ook slechts enkele bepaalde sets met pictogrammen wijzigen. Net zoals in stap 4, filter de lijst op `iconsize` en wijzig weer naar uw wensen. Vergroot bijvoorbeeld de standaard grootte van de pictogrammen door 'iconsize.default' te wijzigen naar '36'. |
| | 53 | 1. Ga naar Bewerken -> Voorkeuren (of druk op F12). |
| | 54 | 2. Scroll naar beneden naar de categorie 'Gevorderde voorkeuren'. |
| | 55 | 3. In het zoekvak boven de lijst met verschillende configuratie-items, voer `gui` in om de lijst te filteren. Op die manier zult u in staat zijn om snel de relevante items te krijgen. |
| | 56 | 4. Pas de elementen aan uw behoeften aan door items te wijzigen die beginnen met `gui.scale` of eindigen op `.font`. Bijvoorbeeld: om alles met 50% te vergroten, wijzig ze allemaal van '1.0' naar '1.5'. |
| | 57 | 5. In aanvulling daarop kunt u ook slechts enkele bepaalde sets met pictogrammen wijzigen. Net zoals in stap 4, filter de lijst op `iconsize` en wijzig weer naar uw wensen. Vergroot bijvoorbeeld de standaard grootte van de pictogrammen door 'iconsize.default' te wijzigen naar '36'. |
