Replacing Magik Element With Local History Edition

1. Open Magik editor for Magik file in which you want to compare Magik element with an edition from the local history.
2. Select an element that you want to compare in the Outline or Product Explorer.
3. From the element's pop-up menu, select Replace With > Element from Local History.
4. In the upper pane of the resulting dialog, all available editions of the selected element in the local history are displayed.
5. Select an edition in the upper pane to view differences between the selected edition and the edition in the workbench.
6. When you have identified the edition with the one you want to replace the existing Magik element, click Replace.
7. The local history edition replaces the current element.

Note: Product Explorer can be configured to show or not show Magik elements in files. Set your preferences on Magik > General preference page.

Magik views
Magik editor

Using local history

Magik outline