diff options
| author | Laurenz <laurmaedje@gmail.com> | 2022-12-05 12:25:37 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2022-12-05 12:25:37 +0100 |
| commit | c2e458a133772a94009733040b39d58e781af977 (patch) | |
| tree | 9404ef8f4982a068f046cb772166fdb8af7c3a0b /src/model/library.rs | |
| parent | 1d324235bd80fe8d1fb21b1e73ae9e3dfe918078 (diff) | |
Symbol notation
Diffstat (limited to 'src/model/library.rs')
| -rw-r--r-- | src/model/library.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/model/library.rs b/src/model/library.rs index c890fef1..63bd5839 100644 --- a/src/model/library.rs +++ b/src/model/library.rs @@ -41,6 +41,8 @@ pub struct LangItems { pub text_id: NodeId, /// Get the string if this is a text node. pub text_str: fn(&Content) -> Option<&str>, + /// Symbol notation: `:arrow:l:`. + pub symbol: fn(notation: EcoString) -> Content, /// A smart quote: `'` or `"`. pub smart_quote: fn(double: bool) -> Content, /// A paragraph break. |
