diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-03-18T21·04+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-03-18T21·04+0000 |
| commit | 3f3c4cce5a6552016a040999f64dc989d203a9ef (patch) | |
| tree | c6b57dfa79f336a746bddb8110132b312da375e5 /src/libexpr | |
| parent | 84c617966b8a78b7385aff04f1ac9b3bb7391898 (diff) | |
* Added an extra escape code to signal "unimportant" messages. If a tree only has
unimportant messages, it is collapsed by the default. * Also added an optional integer argument to the escape code for opening a nesting level to indicate lack of importance. If set, the tree is collapsed by default.
Diffstat (limited to 'src/libexpr')
0 files changed, 0 insertions, 0 deletions