Menu bar

The Extension Manager has a menu bar at the upper right corner (see figure 1).

Figure 1

The menu bar consists of the following options:

• Refresh: Is used to update all information in the Extension Manager.

• Tools: Includes Options where settings for the Extension Manager can be made. This menu option also includes shortcuts to different functions in the Extension Manager.

• Help: contains a help index for the Extension Manager, support contact information, information about Extensions and licenses etc.