This function controls a "Figures" menu that will appear automatically on normal graph figures (i.e., non-GUIs).
Type "figmenu on" or "figmenu off" to turn it on and off. The menu can be added to existing figures with "figmenu add".
From the menu you can switch to any other figure, or maximize or close figures. It is especially useful when figures have been maximized and cover the other figures.
Turned off JavaFrame warning when Maximizing or Restoring a figure. Improved criteria for determining if a figure is a GUI.
Added new menu items to switch figures sequentially. Also, now accommodate a large number of figures by grouping them in the menu.