diff options
| author | Liam Murphy <liampm32@gmail.com> | 2023-07-18 00:08:19 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-17 16:08:19 +0200 |
| commit | e0e797c27d4eff3fbca2a182aee2700f20ed6c21 (patch) | |
| tree | 1a680869ae778b3e2bd9b0c61d3470553116a0ff /tests/ref | |
| parent | c98c3d1a38d7cdc7fe219cfe8ca9c88cb0609aa8 (diff) | |
Classify `dots.c`, `dots.down`, `dots.up` and `dots.v` as normal (#1726)
Fixes #713. They were previously classified by Unicode as relations, which caused a '+' sign after one of them to be treated as a unary operator rather than a binary operator. This PR overrides the Unicode classification and classifies them as normal instead, which causes a '+' sign after one of them to be properly treated as a binary operator.
Diffstat (limited to 'tests/ref')
| -rw-r--r-- | tests/ref/math/spacing.png | bin | 18271 -> 17881 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/tests/ref/math/spacing.png b/tests/ref/math/spacing.png Binary files differindex abcfae80..5e717eff 100644 --- a/tests/ref/math/spacing.png +++ b/tests/ref/math/spacing.png |
