codly.info
Read the source-line count and last displayed line number recorded for a labeled code block.
Signature
codly.info(target) -> (last-number: int | none, lines: int)Parameters
| Name | Type | Default | Meaning |
|---|---|---|---|
target |
label |
required, positional | Label identifying the code block whose metadata to read. |
The returned dictionary has these fields:
| Field | Type | Meaning |
|---|---|---|
last-number |
int or none |
Last computed displayed line number, or none when the block has no numbered source line. |
lines |
int |
Number of source lines in the block, including lines omitted from its displayed range. |
Behavior
Call codly.info inside context, since it queries document content. The helper reads the first Codly block record after the label’s location.
Unnumbered rows do not replace last-number. Passing the label as another block’s offset adds this number to that block’s numbering, so numbering can continue across blocks.
Example: Continue a Listing
Give the first block a figure label, then use that label as the second block’s offset. The first listing ends at line 2, so the following fragment starts at line 3. The metadata remains available through the same figure label.
#import "@preview/codly:2.0.0" as codly
#figure(
codly.new(
```py
prepare()
load()
```,
),
caption: [Load the input.],
)<first-part>
#codly.new(
```py
validate()
process()
finish()
```,
offset: <first-part>,
)
#context {
let info = codly.info(<first-part>)
[The first listing has #info.lines source lines and ends at line #info.last-number.]
}Edit & run on your device
The highlighted source and output update after you stop typing. Copy code includes your edits.
