From 4b432eec086ae9844a54da3146166ae936e0a377 Mon Sep 17 00:00:00 2001 From: Isidor Zeuner Date: Thu, 12 Nov 2020 06:22:34 +0100 Subject: [PATCH] support for non-ascii characters --- encoding.lua | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/encoding.lua b/encoding.lua index df39590..8c8efae 100644 --- a/encoding.lua +++ b/encoding.lua @@ -206,7 +206,7 @@ local utf8_decode = { local wide_character_codes = { } -local unicode_install = function( +signs_lib.unicode_install = function( numbers ) local scope = utf8_decode @@ -223,7 +223,7 @@ local unicode_install = function( ) end -unicode_install({38,"26"}) +signs_lib.unicode_install({38,"26"}) local nmdc = { [36] = "$",