Patch is a Magik file including a fix for a particular module.
Patch list is a plain text file containing a set of Magik patch file names without the extension. It is named patch_list.txt and marked with a special icon .
Load Patch List menu item is available from Session submenu in Package Explorer's context menu, but only for Patch List files. When executed it loads all patches defined in the Patch List file. Notice that, actual patches must be in the same directory as the Patch List file itself.
The Load patch command is only available when the session associated with the Magik Project containing the given Patch List file is running.
GIS Session Actions