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