1Summary of function
2===================
3
4This tool provides an interface to the source tracking facility of ECLiPSe.
5
6Layout
7======
8
9The Source file tool consists of a files window, which shows the source
10files tracked, and their statuses, and a series of buttons at the bottom.
11
12Functionality
13=============
14
15ECLiPSe keeps track of the files that it has compiled in a session, and
16provides a make/0 predicate which would cause tracked files that have been
17updated since they were last compiled to be compiled. This tool provides an
18interface to manage these tracked files. 
19
20Files window
21------------
22
23The files window lists the tracked files, and their statuses. The possible
24status are:
25
26    ok - the file has not been updated since it was compiled.
27    modified - the file has been updated since it was compiled. Such files
28       will be recompiled by make.
29    new - the file has been added to the list, but has not yet been
30       compiled. Such files will not be re-compiled by make until they have
31       been compiled at least once.
32    nonexisting - the file has been deleted since it was last compiled.
33
34Add file button
35---------------
36
37Add a pre-existing file to list. The file will have the `new' status until
38it is compiled. 
39
40Edit button
41-----------
42
43Add a file to the list, and starts up an editor to edit the file. The file
44will have the `new' status until it is compiled. A completely new file can
45be added to the list in this way. In Unix, the default editor that is
46started is the one defined by the VISUAL environment variable; on windows,
47the default editor is wordpad. This default can be changed in the TkECLiPSe
48preference editor.
49
50Note that in the browser for selecting the file to edit, the button to
51select a file is labelled as `Save', and if an existing file is selected, a
52dialog box will ask you if you want to overwrite the file. Answering `Yes'
53will not actually overwrite the file. If the file does not exist, it will
54be created.
55
56Compile button
57--------------
58
59This causes the selected file to be compiled. 
60
61Redisplay button
62----------------
63
64The files and their status are not automatically updated with changes in the
65files. Click on the Redisplay button to get an up-to-date status display.
66
67Make button
68-----------
69
70Executes the make command.
71
72Close button
73------------
74
75Closes this window.
76
77