Options

You can access general settings for your portal via the "Tools / Options" menu.

General

Animate the Home Screen

You can disable the animation on the splash screen that appears when Intrexx starts here.

Remember the size of the dialog boxes

With this setting, the size of dialog boxes in the Intrexx Portal Manager is retained if you have resized them so that they differ from the default dimensions.

Only if larger than the standard dimensions

Only preserves the size of dialog boxes if they are larger than the default.

URL of the online help

By default, a link to the Intrexx online help on the Intrexx server is entered here.

            https://help.intrexx.com/intrexx/${release_track}/${locale}/${csh-target}
        

This link contains the placeholder ${release_track}, which is automatically replaced with the currently used Intrexx version, and ${locale}, which is automatically replaced with the currently used language.

${csh-target} is a parameter that controls the table of contents and the direct context-sensitive help that you can access in Intrexx by pressing the F1 key.

Language Settings

The language settings are located under the "General" node.

You can find more information here.

Editor Settings

Under the "General" node, you can use "Editor Settings" to integrate external editors instead of the internal Intrexx editors. You can learn more about this here.

External Programs

External programs (such as editors or word processors) can be integrated under the "General" node.

In the first column of the list, enter the file types of the files you want to open with the external program. Enter the path to the external program in the "Program" column.

Add an External Program

Click this button to add a new external program.

Remove an external program

Removes a program from the list.

Edit External Program

Click this button to edit the path to the program.

To take full advantage of the document generation features, you should have a suitable word processing program installed that can open *.odt files (e.g., LibreOffice).

Templates

Under the "General" node, you can use the "Templates" option to create and configure your own JSON file in order to make your own application templates available in the Intrexx Portal Manager. You can find all the information here.

History

Under the "General" node, you can enter paths to external tools for displaying and merging changes in the history. You can find all additional information here.

Portals

Enable Options for Experts

With this setting, the additional " JMX " page is displayed in the portal properties.

In addition, the "Expert Area" menu item appears in the "Portal" main menu. This module provides generic rights management (Manage Permissions Generically (Experts)).

Show only active portals

With this setting, portals whose portal service has been terminated are not displayed in the portal list. If this setting is not enabled, portals that are not currently running will be displayed there as inactive links with their names and the label (offline).

Proxy

Find out here how to use a proxy server for authentication.

Applications

You can access the general settings for the "Applications" module via the main menu under "Tools / Options / Applications." You can find all the information here.

Language Constants and Titles

In the "Applications" module, the use of language constants in applications is not only useful for multilingual applications—monolingual applications also benefit from the use of these constants. You can find out everything you need to know about the optional settings for language constants and titles in applications here.

Publish Applications

Here you'll find the settings for publishing applications with or without a history. You can find out everything about the available settings here.

Processes

You can access the general settings for the "Applications" module via the main menu under "Tools / Options / Processes." You can find all the information here.

Publish Processes

Here you'll find the settings for publishing applications with or without a history. You can find out everything about the available settings here.

User

You can find a description of the optional settings for the "Users" module here.

Design

You can find a description of the optional settings for the "Design" module here.

Publish Layouts

Here you'll find the settings for publishing layouts with or without a history. You can find out everything about the available settings here.

Integration

From the main menu ("Tools / Options / Integration / Publish Data / OData"), you can access the "Enable Advanced Options" setting. You can find all additional information here.

Tools / Search

When the "Enable Expert Options" setting is selected, the "Priorities" option appears under "Search" in the Tools menu.

Tools / Task Planning

With the "Enable Expert Options" setting, individual tasks can be deleted via the main menu under "Task Scheduling / Delete Job. "

More Information

Getting Started with the Portal Manager