support for non-ascii characters

This commit is contained in:
Isidor Zeuner 2020-11-12 06:22:34 +01:00
parent d956c87dbc
commit 4b432eec08

View File

@ -206,7 +206,7 @@ local utf8_decode = {
local wide_character_codes = { local wide_character_codes = {
} }
local unicode_install = function( signs_lib.unicode_install = function(
numbers numbers
) )
local scope = utf8_decode local scope = utf8_decode
@ -223,7 +223,7 @@ local unicode_install = function(
) )
end end
unicode_install({38,"26"}) signs_lib.unicode_install({38,"26"})
local nmdc = { local nmdc = {
[36] = "$", [36] = "$",