4.18.3 Preferences - External Tools group

This group sets the tools that display the documentation.

Figure 4-36 Preferences dialog, External Tools group
Preferences dialog, External Tools group

use operating system file associations
Check to inactivate the external tool edit fields and buttons. Clear to activate them.

Note

This checkbox is not available on Linux.
Non-ConfidentialPDF file icon PDF versionARM DUI0370S
Copyright © 2007-2014 ARM. All rights reserved.