Portal

4.3. Portal Settings

How to use the Portal settings:

  1. Click the Settings icon in the menu bar. Click on All settings.

    You can also click on Settings in the App Launcher.

    The Settings window opens.

  2. Click on Portal in the left pane.

  3. Change the settings.

To search for a specific setting, use the Search for settings input field.

The following settings are available:

Add widget

Functions for editing widgets

Reduce to widget summary

Related topics:

Parent topic: Customizing the Portal