diff options
| author | Daniel Ebert | 2023-08-11 11:12:23 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2023-08-11 14:44:02 +0000 |
| commit | ee3171cc54052bc8d3569cc04bd9f6a57b43afca (patch) | |
| tree | da3905f32fa9084abe4e3cb08e592d6f8b0fab43 /book/src/guides | |
| parent | b315901cbb137fd1b2f79bb9c1f10a1bef5b7f38 (diff) | |
Document @align indent capture.
Diffstat (limited to 'book/src/guides')
| -rw-r--r-- | book/src/guides/indent.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/book/src/guides/indent.md b/book/src/guides/indent.md index 0b0e3938..bd037bb0 100644 --- a/book/src/guides/indent.md +++ b/book/src/guides/indent.md @@ -71,6 +71,12 @@ level for the line. ignored. - `@outdent.always` (default scope `all`): Decrease the indent level by 1. The same rules as for `@indent.always` apply. +- `@align` (default scope `all`): + Align everything inside this node to some anchor. The anchor is given + by the start of the node captured by `@anchor` in the same pattern. + Every pattern with an `@align` should contain exactly one `@anchor`. + Indent (and outdent) for nodes below (in terms of their starting line) + the `@align` node is added to the indentation required for alignment. - `@extend`: Extend the range of this node to the end of the line and to lines that are indented more than the line that this node starts on. This is useful for |