SCM Repository
Diff of /sml/trunk/src/cm/main/cm-boot.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 375, Wed Jul 7 03:08:04 1999 UTC | revision 377, Wed Jul 7 06:55:18 1999 UTC | |
|---|---|---|
| # | Line 129 | Line 129 |
| 129 | val theValues = ref (NONE: kernelValues option) | val theValues = ref (NONE: kernelValues option) |
| 130 | ||
| 131 | in | in |
| 132 | fun setAnchor (a, s) = PathConfig.set (pcmode, a, s) | fun setAnchor (a, s) = |
| 133 | (PathConfig.set (pcmode, a, s); SrcPath.sync ()) | |
| 134 | (* cancelling anchors cannot affect the order of existing paths | |
| 135 | * (it may invalidate some paths; but all other ones stay as | |
| 136 | * they are) *) | |
| 137 | fun cancelAnchor a = PathConfig.cancel (pcmode, a) | fun cancelAnchor a = PathConfig.cancel (pcmode, a) |
| 138 | (* same goes for reset because it just cancels all anchors... *) | |
| 139 | fun resetPathConfig () = PathConfig.reset pcmode | fun resetPathConfig () = PathConfig.reset pcmode |
| 140 | ||
| 141 | fun showPending () = let | fun showPending () = let |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
