2023-10-20 23:11:41 +02:00
|
|
|
---
|
2023-11-03 23:08:58 +01:00
|
|
|
title: UI-instellingen
|
2023-10-20 23:11:41 +02:00
|
|
|
---
|
|
|
|
|
|
2023-11-03 23:08:58 +01:00
|
|
|
Met het menu **UI Settings** kun je bepaalde aspecten van de gebruikersinterface (UI) aanpassen. Die aspecten zijn:
|
2023-10-20 23:11:41 +02:00
|
|
|
|
|
|
|
|
<ReadMore />
|
|
|
|
|
|
|
|
|
|
<ControlTip />
|
|
|
|
|
|
