Settings
Open Edit ▸ Settings for preferences. Common controls:
- High DPI settings: sharpen scaling on 4K and high-resolution displays (View ▸ High DPI Settings…).
- Clear Directory History: forget the list of recently opened folders.
- Reset All Settings: return everything to defaults.