Using the Profile Manager

The Profile Manager provides an easy-to-use interface that enables users to do the following:

• Edit or delete existing profiles
• Set default profiles
• Create Global profiles
• Import and export profiles

How to ... Access the Profile Manager:

1. Open an edit or browse window.

2. Click the Additional Options () button on the toolbar.

3. Expand the Profiles menu.

4. Click Profile Manager.

How to ... Use the Profile Manager

Button	Description
	Apply the selected profile as the current profile.
	Edit the selected profile.
	Clone the selected profile and save it as a Personal Profile with a new name.
	Delete the selected profile.
	Create a new folder. Folders can be used to group profiles.
	Cut the selected Profile.
	Paste the cut profile into the selected grouping or folder.
	Refresh the Profile Manager tree.
	Make the selected profile your default profile. Default profiles will be applied whenever you log in.
	Remove your default profiles.
	Make the selected Global Profile the default profile for ALL users.
	Make the selected Global Profile the Initial Profile for ALL NEW users.
	Make the selected Personal Profile a Global Profile.
	Make the selected Global Profile compulsory for all users. Note: Only for Global Profiles.
	Make the selected Global Profile optional for all users. Note: Only for Global Profiles.
	Import a profile .xml file.
	Export the selected Profile as a .xml file.

© 2016 Pragma