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