From 1cd7edadfedc8bf55b979449cbb084082a888e89 Mon Sep 17 00:00:00 2001 From: Adolfo Jayme Barrientos Date: Wed, 29 Mar 2017 21:05:35 -0600 Subject: Wrong Unicode character reference MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Isn’t it better to just use the desired characters directly, given that “\uHEX”-style references are so error-prone? Change-Id: I307b1fad7a9e0a23a38925e3c84829f823decf6e --- librelogo/source/pythonpath/LibreLogo_en_US.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'librelogo') diff --git a/librelogo/source/pythonpath/LibreLogo_en_US.properties b/librelogo/source/pythonpath/LibreLogo_en_US.properties index c943d307f7dd..a74819f06f9c 100644 --- a/librelogo/source/pythonpath/LibreLogo_en_US.properties +++ b/librelogo/source/pythonpath/LibreLogo_en_US.properties @@ -143,7 +143,7 @@ BROWN=brown LIBRELOGO=LibreLogo ERROR=Error (in line %s) ERR_ZERODIVISION=Division by zero. -ERR_NAME=Unknown name: \u2018%s\u201d. +ERR_NAME=Unknown name: \u201c%s\u201d. ERR_ARGUMENTS=%s takes %s arguments (%s given). ERR_BLOCK=Error (extra or missing spaces at brackets?) ERR_KEY=Unknown element: %s -- cgit