Options - History

Extras menu / Options / General



To view and merge changes in the History, you can enter paths to external tools here. The tools need to be installed on the same server where the Portal Manager is. Tools that can compare and merge two files in a two-window view are supported. The program path must support parameters for the file paths to be compared. In the program path, the placeholders "${file1}" and "${file2}" can be used to this end. "${file1}" represents the file the file that is taken as the basis for the comparison. "${filee}" represents the file with which the comparison is made. The placeholders are optional. If they are not specified, then they are attached programmatically to the program path.

The external tool is only used for viewing. Changes to files will not be applied.

Use external tool for viewing changes in the history

With this setting, a path to an external tool for viewing the changes can be entered. Examples: Select
Opens a dialog where the tool can be selected.

Double-clicking on change opens external tool

Means that changes can be double-clicked on to view them in the history. If this option is activated, the change will be shown in Diff.

Use external tool for merging changes in the history

With this setting, a path to an external tool for merging the changes can be entered. Examples:

More information

Versioning