Top-level

     The menu lists all top-level definitions in the form identifier: value. Selecting one of these pops up a frame containing a nicely formatted version of the value. If a value changes the menu is updated to reflect the current value. The only way to remove an item is to use Delete Global Def in the edit menu (Section 4.2).

• Lifted Defs 
  Lifted definitions are definitions that are taken from a local scope, renamed, and placed in the global scope. Lifted Defs is a submenu of Top-level containing top-level variables not created by define in the global scope, local defines for example (Section 6.1. These identifiers are removed when there are no free occurrences of them left in the Donkey environment.