Removing a Tool from the Tools Manager - MapInfo_Pro - 2023

MapInfo Pro Help

Product type
Software
Portfolio
Locate
Product family
MapInfo
Product
MapInfo > MapInfo Pro
Version
2023
Language
English
Product name
MapInfo Pro
Title
MapInfo Pro Help
First publish date
1985
Last updated
2023-09-12
Published on
2023-09-12T16:39:16.995549

You may not need all of the tools you have access to in the Tools Manager, so you can unregister a tool to remove it from the list. When you unregister a tool, you do not delete the tool or any files associated with the tool, you just remove it from the list of registered tools in the Tools Manager window.

To unregister a tool from the Tools Manager:

  1. On the HOME tab, in the Tools group, click Tool Extensions.

    If present, you can also click on the Tools shortcut on the right-side of the MapInfo Pro screen.

  2. On the Register tab, scroll to locate the tool you want to unregister, and then click the Unregister Tool button beside its name.

The tool is no longer registered with your MapInfo Pro software, and is removed from the Register tab.