2022-04-14 12:01:23 +08:00
|
|
|
[
|
|
|
|
|
(node)
|
|
|
|
|
(property)
|
|
|
|
|
(integer_cells)
|
2023-06-18 14:17:38 +08:00
|
|
|
] @indent.begin
|
2022-04-14 12:01:23 +08:00
|
|
|
|
|
|
|
|
[
|
|
|
|
|
"}"
|
|
|
|
|
">"
|
2023-06-18 14:17:38 +08:00
|
|
|
] @indent.branch
|
2022-04-14 12:01:23 +08:00
|
|
|
|
|
|
|
|
[
|
|
|
|
|
(comment)
|
2023-06-18 14:17:38 +08:00
|
|
|
] @indent.ignore
|
