Rename turtle to shell (#3870)

This commit is contained in:
frozolotl 2024-04-08 12:39:11 +02:00 committed by GitHub
parent 36dcabe692
commit 2663f42442
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -41,7 +41,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
paren: [l: '(', r: ')', t: '', b: ''], paren: [l: '(', r: ')', t: '', b: ''],
brace: [l: '{', r: '}', t: '', b: ''], brace: [l: '{', r: '}', t: '', b: ''],
bracket: [l: '[', l.double: '', r: ']', r.double: '', t: '', b: ''], bracket: [l: '[', l.double: '', r: ']', r.double: '', t: '', b: ''],
turtle: [l: '', r: '', t: '', b: ''], shell: [l: '', r: '', t: '', b: ''],
bar: [v: '|', v.double: '', v.triple: '', v.broken: '¦', v.circle: '', h: ''], bar: [v: '|', v.double: '', v.triple: '', v.broken: '¦', v.circle: '', h: ''],
fence: [l: '', l.double: '', r: '', r.double: '', dotted: ''], fence: [l: '', l.double: '', r: '', r.double: '', dotted: ''],
angle: [ angle: [