1Summary of function 2=================== 3 4This tool allows the user to examine and change various ECLiPSe global 5environmental settings. 6 7Layout 8====== 9 10This tool consists of a list of global environment states and methods to 11alter these states. 12 13Functionality 14============= 15 16This tool provides a GUI to the get_flag/2 and set_flag/2 predicates, which 17is used to alter some global environmental setting of ECLiPSe. See the 18manual or help pages for these predicates for details on the meaning of 19each individual flag listed in this tool. 20 21Most of the flag can have their settings changed within the tool. Depending 22on what the available values for the flag are, there are the following 23methods for changing them: 24 25a) radio buttons -- if the flag can only have a few fixed settings, these 26settings are available as radio buttons. Click on a particular button to 27set that value as the flag's value. 28 29b) Numeric entry -- if the flag has a numeric value, then the value can be 30typed into a window associated with the flag. Note that only numbers can be 31entered into these windows. 32 33c) Directory paths -- for the cwd flag, which can be set to any directory, 34the user can either chose a directory via its Change button, which will 35allow the user to select a directory using a directory browser, or a new 36directory can be typed in by editing the path listed in the window. Note 37that no checks are performed on the validity of the directory path in this 38latter case. 39 40For the library_path flag, a list of directories is given in its 41window. The user can change the paths by either editing the entry, or by 42clicking on its change button. The change button produce a menu of the 43current paths, and selecting a particular path allow it to be edited: this 44popups a window with several options: the path can be replaced, deleted, or 45a new path inserted. 46 47 48d) Output mode -- this flag can be change by clicking on its Change 49button. This pops up an additional window, in which the available settings 50for the output mode can be changed. The text next to each setting shows 51what the current setting will do, and changing the setting will change the 52text displayed. Until the Set button is pressed, the output mode will not 53be changed. 54