diff options
| author | Hans Hagen <pragma@wxs.nl> | 2017-08-07 12:17:12 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2017-08-07 12:17:12 +0200 |
| commit | 58574b14679ae5796ea24a506ba27faf838c10ba (patch) | |
| tree | e25dbc01e72202d3f568e8b1cf3437fd3b0967e9 /tex/context/base/mkiv/math-fbk.lua | |
| parent | 5c6090af6fb0808017d6f2fe263b90e2efa0ae5e (diff) | |
| download | context-58574b14679ae5796ea24a506ba27faf838c10ba.tar.gz | |
2017-08-07 11:35:00
Diffstat (limited to 'tex/context/base/mkiv/math-fbk.lua')
| -rw-r--r-- | tex/context/base/mkiv/math-fbk.lua | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/tex/context/base/mkiv/math-fbk.lua b/tex/context/base/mkiv/math-fbk.lua index 2bf9a97e8..0af975125 100644 --- a/tex/context/base/mkiv/math-fbk.lua +++ b/tex/context/base/mkiv/math-fbk.lua @@ -623,26 +623,26 @@ virtualcharacters[0x2A75] = function(data) return equals(data,0x2A75,0x003D, 1/5 virtualcharacters[0x2A76] = function(data) return equals(data,0x2A76,0x003D, 1/5,3) end -- === virtualcharacters[0x2980] = function(data) return equals(data,0x2980,0x007C,-1/8,3) end -- ||| -addextra(0xFE941) -- EXTREMELY IDENTICAL TO - -virtualcharacters[0xFE941] = function(data) -- this character is only needed for mathpairs - local characters = data.target.characters - local parameters = data.target.parameters - local basechar = characters[0x003D] - local width = basechar.width or 0 - local height = basechar.height or 0 - local depth = basechar.depth or 0 - return { - unicode = 0xFE941, - width = width, - height = height, -- we cheat (no time now) - depth = depth, -- we cheat (no time now) - commands = { - { "down", - height/2 }, -- sort of works - { "char", 0x003D }, - { "right", -width }, - { "down", height }, -- sort of works - { "char", 0x003D }, - }, - } -end +-- addextra(0xFE941) -- EXTREMELY IDENTICAL TO +-- +-- virtualcharacters[0xFE941] = function(data) -- this character is only needed for mathpairs +-- local characters = data.target.characters +-- local parameters = data.target.parameters +-- local basechar = characters[0x003D] +-- local width = basechar.width or 0 +-- local height = basechar.height or 0 +-- local depth = basechar.depth or 0 +-- return { +-- unicode = 0xFE941, +-- width = width, +-- height = height, -- we cheat (no time now) +-- depth = depth, -- we cheat (no time now) +-- commands = { +-- { "down", - height/2 }, -- sort of works +-- { "char", 0x003D }, +-- { "right", -width }, +-- { "down", height }, -- sort of works +-- { "char", 0x003D }, +-- }, +-- } +-- end |