13.16.6. Editing the name of an existing watch

To edit the name of a watch:

  1. Double-click in the name of the watch you want to change, or press Enter if the watch is already selected. The name is enclosed in a box with the characters highlighted to show they are selected (pending deletion).

  2. Enter the new name, or move the cursor to change the existing expression, or add a cast.

  3. Either:

    • press Enter to store the new name

    • press Esc to cancel the change, and revert to the original name.

Copyright © 2002-2009 ARM Limited. All rights reserved.ARM DUI 0153K
Non-Confidential