The OpenEdge Hive

[procedure: prolint/core/lintcfg.w, invoked from anywhere]

This dialog helps you switch rules on/off, override default severities and select outputhandlers.

See "profiles" for a general discussion about profiles.

The combo-box contains a list of profiles found in directories "prolint/settings" and "local-prolint/settings", and it also contains a profile named "<none>" which is the default profile. The settings for "<none>" are stored in directory "prolint/settings", instead of in one of its subdirectories.

When you select a profile (using the combo-box), you will see a text next to the combo-box
indicating if this profile is a shared profile or a private profile. Shared profiles are found in "prolint/settings", private profiles are found in "local-prolint/settings".


You can create a directory "local-prolint/settings" anywhere in your propath.


If a profile with a particular name exists in both "prolint/settings" and "local-prolint/settings", then the local profile takes precendence unless the shared profile contains a file named "no-local-settings.lk", in which case the local profile is ignored.

There is a toolbar near the top of the window. The buttons are:

	Create a new profile. A dialog will pop up, asking for the name of the new profile. The program will try to create a subdirectory with this name in "prolint/settings" or in "local-prolint/settings", the contents of the new profile equals the contents of the default profile.
	Make a local copy of this shared profile. This button is only enabled if the current profile is a shared profile, and if directory "local-prolint/settings" exists, and if the shared profile does not contain a file named "no-local-settings.lk".
	Delete this local profile. This button is only enabled if the profile was found in "local-prolint/settings". The profile is deleted from "local-prolint/settings". The local profile reverts to a shared profile if an equally named profile exists in "prolint/settings".
	Delete this shared profile. This button is only enabled if the profile was found in "prolint/settings" and if this profile does not contain file "no-local-settings.lk". The profile is deleted from "prolint/settings".