r
/
bookshelf-doc
mirror of https://github.com/jrpotter/bookshelf-doc
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix: Use Z(separator) instead of S(ymbol) category 

closes: #123
main
Henrik Böving 2023-03-27 14:38:13 +02:00
parent 23eb55fc22
commit b9421b9a12
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
DocGen4/Output/DocString.lean
View File

@ -57,7 +57,7 @@ partial def xmlGetHeadingId (el : Xml.Element) : String :=
unicodeToDrop (c : Char) : Bool := unicodeToDrop (c : Char) : Bool :=
let cats := [ let cats := [
Unicode.GeneralCategory.P, -- punctuation Unicode.GeneralCategory.P, -- punctuation
Unicode.GeneralCategory.S, -- separator Unicode.GeneralCategory.Z, -- separator
Unicode.GeneralCategory.C -- other Unicode.GeneralCategory.C -- other
] ]
cats.any (Unicode.isInGeneralCategory c) cats.any (Unicode.isInGeneralCategory c)
@ -179,7 +179,7 @@ def autoLink (el : Element) : HtmlM Element := do
return [Content.Character s] return [Content.Character s]
unicodeToSplit (c : Char) : Bool := unicodeToSplit (c : Char) : Bool :=
let cats := [ let cats := [
Unicode.GeneralCategory.S, -- separator Unicode.GeneralCategory.Z, -- separator
Unicode.GeneralCategory.C -- other Unicode.GeneralCategory.C -- other
] ]
cats.any (Unicode.isInGeneralCategory c) cats.any (Unicode.isInGeneralCategory c)