diff options
| author | Laurenz <laurmaedje@gmail.com> | 2022-04-10 23:23:50 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2022-04-10 23:36:36 +0200 |
| commit | 34fa8df044f1491069c9ae69f1c1e73d635c8955 (patch) | |
| tree | 30b9144690f55f0343a1fdbfcac6c9238c617077 /src/library/structure/list.rs | |
| parent | 29eb13ca6214461a4b0deb63d589cd39ad6d41c2 (diff) | |
Move language-related properties from `par` to `text`
Closes #67
Diffstat (limited to 'src/library/structure/list.rs')
| -rw-r--r-- | src/library/structure/list.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/library/structure/list.rs b/src/library/structure/list.rs index c3eae1af..02a7cd38 100644 --- a/src/library/structure/list.rs +++ b/src/library/structure/list.rs @@ -33,6 +33,7 @@ impl<const L: ListKind> ListNode<L> { /// How the list is labelled. #[property(referenced)] pub const LABEL: Label = Label::Default; + /// The spacing between the list items of a non-wide list. #[property(resolve)] pub const SPACING: RawLength = RawLength::zero(); @@ -42,6 +43,7 @@ impl<const L: ListKind> ListNode<L> { /// The space between the label and the body of each item. #[property(resolve)] pub const BODY_INDENT: RawLength = Em::new(0.5).into(); + /// The extra padding above the list. #[property(resolve)] pub const ABOVE: RawLength = RawLength::zero(); @@ -137,7 +139,7 @@ pub const UNORDERED: ListKind = 0; /// Ordered list labelling style. pub const ORDERED: ListKind = 1; -/// Either content or a closure mapping to content. +/// How to label a list or enumeration. #[derive(Debug, Clone, PartialEq, Hash)] pub enum Label { /// The default labelling. |