From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Sergei Meshveliani Newsgroups: gmane.emacs.bugs Subject: bug#33688: UTF symbols in 25.2.2 under Ubuntu Date: Mon, 10 Dec 2018 00:56:29 +0300 Message-ID: <1544392589.2348.3.camel@one.mechvel.pereslavl.ru> References: <1544372351.4050.7.camel@one.mechvel.pereslavl.ru> <83o99u379e.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1544392990 4216 195.159.176.226 (9 Dec 2018 22:03:10 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 9 Dec 2018 22:03:10 +0000 (UTC) Cc: 33688@debbugs.gnu.org To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sun Dec 09 23:03:06 2018 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gW7AH-0000xd-LR for geb-bug-gnu-emacs@m.gmane.org; Sun, 09 Dec 2018 23:03:05 +0100 Original-Received: from localhost ([::1]:56941 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gW7CO-0005LC-8i for geb-bug-gnu-emacs@m.gmane.org; Sun, 09 Dec 2018 17:05:16 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:39851) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gW7CI-0005L4-62 for bug-gnu-emacs@gnu.org; Sun, 09 Dec 2018 17:05:11 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gW7CD-0004kw-6B for bug-gnu-emacs@gnu.org; Sun, 09 Dec 2018 17:05:09 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:36072) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gW7CA-0004jq-CA for bug-gnu-emacs@gnu.org; Sun, 09 Dec 2018 17:05:04 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gW7C9-0006ww-S3 for bug-gnu-emacs@gnu.org; Sun, 09 Dec 2018 17:05:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Sergei Meshveliani Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 09 Dec 2018 22:05:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33688 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 33688-submit@debbugs.gnu.org id=B33688.154439308326678 (code B ref 33688); Sun, 09 Dec 2018 22:05:01 +0000 Original-Received: (at 33688) by debbugs.gnu.org; 9 Dec 2018 22:04:43 +0000 Original-Received: from localhost ([127.0.0.1]:40328 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gW7Bq-0006wE-PW for submit@debbugs.gnu.org; Sun, 09 Dec 2018 17:04:43 -0500 Original-Received: from mail2.botik.ru ([95.129.139.34]:54041) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gW73u-0006gz-Hx for 33688@debbugs.gnu.org; Sun, 09 Dec 2018 16:56:31 -0500 Original-Received: from mechvel.pereslavl.ru ([192.168.58.131]:48923 helo=[192.168.1.2]) by mail.botik.ru with esmtp (Exim 4.69) (envelope-from ) id 1gW73s-0001no-Hl; Mon, 10 Dec 2018 00:56:28 +0300 In-Reply-To: <83o99u379e.fsf@gnu.org> X-Mailer: Evolution 2.30.3 X-Mailman-Approved-At: Sun, 09 Dec 2018 17:04:42 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:153276 Archived-At: On Sun, 2018-12-09 at 20:05 +0200, Eli Zaretskii wrote: > > From: Sergei Meshveliani > > Date: Sun, 09 Dec 2018 19:19:11 +0300 > > > > This is on GNU Emacs 25.2.2 installed on Ubuntu Linux 18.04 LTS. > > It draws wrongly some UTF symbols. > > > > I see this when writing programs in Agda. > > Agda is a programming language that uses some UTF symbols in the source > > code. It has a certain Agda input method for UTF symbols. > > For example, in > > A\rB (1) > > > > \r is an UTF symbol \rightarrow in Agda programs. > > (1) needs to be drawn somewht similar to > > A->B > > > > But emacs draws the part `>' of the arrow inside B, so that the string > > looks like > > A-B > > > > , and with with a certain garbage inside B. > > If you go to that character between A and B, and type "C-u C-x =", > what does Emacs display in the *Help* buffer? Please post the entire > contents of the *Help* buffer you get. > I print below what is shown in Debian + GNU Emacs 23.2.1 and in Ubuntu 18.04 + GNU Emacs 25.2. ********************************************************************** In Debian, GNU Emacs 23.2.1 everything is drawn correct. \r Example: A\rB to be drawn close to A->B The codes are character: → (8594, #o20622, #x2192) preferred charset: unicode (Unicode (ISO10646)) code point: 0x2192 syntax: w which means: word category: .:Base, c:Chinese, h:Korean, j:Japanese to input: type "\r-" or "\rightarrow" or "\r" or "\longrightarrow" or "\to" or "\->" with Agda buffer code: #xE2 #x86 #x92 file code: #xE2 #x86 #x92 (encoded by coding system utf-8-unix) display: terminal code #xE2 #x86 #x92 Character code properties: customize what to show name: RIGHTWARDS ARROW old-name: RIGHT ARROW general-category: Sm (Symbol, Math) ------------------------------------------------------------ \--> Example: Preserves_\-->_ to be drowun close to Preserves_->_ The codes are character: ⟶ (10230, #o23766, #x27f6) preferred charset: unicode (Unicode (ISO10646)) code point: 0x27F6 syntax: w which means: word category: .:Base to input: type "\r--" or "\r" or "\-->" with Agda buffer code: #xE2 #x9F #xB6 file code: #xE2 #x9F #xB6 (encoded by coding system utf-8-unix) display: terminal code #xE2 #x9F #xB6 Character code properties: customize what to show name: LONG RIGHTWARDS ARROW general-category: Sm (Symbol, Math) ************************************************************************ In Ubuntu 18.04, Gnu Emacs 25.2 : \r is wrongly drawn in A\rB The codes are character: → (displayed as →) (codepoint 8594, #o20622, #x2192) preferred charset: unicode (Unicode (ISO10646)) code point in charset: 0x2192 script: symbol syntax: w which means: word category: .:Base, c:Chinese, h:Korean, j:Japanese to input: type "\r-" or "\rightarrow" or "\r" or "\longrightarrow"\ or "\to" or "\->" with Agda input method buffer code: #xE2 #x86 #x92 file code: #xE2 #x86 #x92 (encoded by coding system utf-8-unix) display: terminal code #xE2 #x86 #x92 Character code properties: customize what to show name: RIGHTWARDS ARROW old-name: RIGHT ARROW general-category: Sm (Symbol, Math) decomposition: (8594) ('→') --------------------------------------------------------------- \--> is very wrongly drawn in Preserves_\-->_ The codes are character: ⟶ (displayed as ⟶) (codepoint 10230, #o23766, #x27f6) preferred charset: unicode (Unicode (ISO10646)) code point in charset: 0x27F6 script: symbol syntax: w which means: word category: .:Base to input: type "\r--" or "\r" or "\-->" with Agda input method buffer code: #xE2 #x9F #xB6 file code: #xE2 #x9F #xB6 (encoded by coding system utf-8-unix) display: terminal code #xE2 #x9F #xB6 Character code properties: customize what to show name: LONG RIGHTWARDS ARROW general-category: Sm (Symbol, Math) decomposition: (10230) ('⟶')