* Add ligation group brack-bar and brace-bar, and enabled in dlig (#767).

This commit is contained in:
be5invis 2020-12-05 16:01:58 -08:00
parent 2bcde22925
commit 1a8b7ce126
102 changed files with 107 additions and 41 deletions

View file

@ -30,6 +30,8 @@ const kernDotty = TAG("kern-dotty");
const htmlComment = TAG("html-comment");
const plusPlus = TAG("plusplus");
const colonGt = TAG("colon-greater");
const brackBar = TAG("brack-bar");
const braceBar = TAG("brace-bar");
const ligationSamples = [
[
@ -75,9 +77,12 @@ const ligationSamples = [
htmlComment("<!---")
],
[
arrow("<------"),
arrow("------>"),
arrow("<=====>"),
brackBar("[|"),
brackBar("|]"),
braceBar("{|"),
braceBar("|}"),
arrow2("<=<"),
arrow2(">=>"),
arrow("<~~"),
arrow("<~"),
arrow("~>"),
@ -94,7 +99,8 @@ const ligationSamples = [
eqeqeq("==="),
exeqeq("!=="),
eqslasheq("=/="),
eqexeq("=!=")
eqexeq("=!="),
colonGt(":>")
],
[
centerOps(":="),
@ -112,8 +118,7 @@ const ligationSamples = [
centerOps("+:"),
centerOps("-:"),
centerOps("=:"),
centerOps("<***>"),
colonGt(":>"),
centerOps("<******>"),
brst("(* comm *)"),
plusPlus("++"),
plusPlus("+++"),
@ -202,7 +207,12 @@ const ligationSamplesNarrow = [
colonGt(":>")
],
[
brst("(* comm *)"),
brst("(*"),
brst("*)"),
brackBar("[|"),
brackBar("|]"),
braceBar("{|"),
braceBar("|}"),
plusPlus("++"),
plusPlus("+++"),
logc("\\/"),