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: Sun, 09 Dec 2018 19:19:11 +0300 Message-ID: <1544372351.4050.7.camel@one.mechvel.pereslavl.ru> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1544377633 32252 195.159.176.226 (9 Dec 2018 17:47:13 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 9 Dec 2018 17:47:13 +0000 (UTC) To: 33688@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sun Dec 09 18:47:09 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 1gW3Ab-0008J5-9t for geb-bug-gnu-emacs@m.gmane.org; Sun, 09 Dec 2018 18:47:09 +0100 Original-Received: from localhost ([::1]:56158 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gW3Ch-0003KW-V4 for geb-bug-gnu-emacs@m.gmane.org; Sun, 09 Dec 2018 12:49:20 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:40968) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gW3CX-0003HA-AJ for bug-gnu-emacs@gnu.org; Sun, 09 Dec 2018 12:49:10 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gW3CT-0006lY-0a for bug-gnu-emacs@gnu.org; Sun, 09 Dec 2018 12:49:09 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:35953) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gW3CQ-0006dh-VR for bug-gnu-emacs@gnu.org; Sun, 09 Dec 2018 12:49:04 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gW3CQ-00066H-TR for bug-gnu-emacs@gnu.org; Sun, 09 Dec 2018 12:49:02 -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 17:49:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 33688 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.154437770423380 (code B ref -1); Sun, 09 Dec 2018 17:49:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 9 Dec 2018 17:48:24 +0000 Original-Received: from localhost ([127.0.0.1]:40209 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gW3Bn-000651-1x for submit@debbugs.gnu.org; Sun, 09 Dec 2018 12:48:24 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:40913) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gW1nt-0003ia-GP for submit@debbugs.gnu.org; Sun, 09 Dec 2018 11:19:38 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gW1nm-000323-QG for submit@debbugs.gnu.org; Sun, 09 Dec 2018 11:19:32 -0500 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:42947) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gW1nm-00031e-7M for submit@debbugs.gnu.org; Sun, 09 Dec 2018 11:19:30 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50522) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gW1nk-0007mP-Ss for bug-gnu-emacs@gnu.org; Sun, 09 Dec 2018 11:19:30 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gW1ng-0002vp-AN for bug-gnu-emacs@gnu.org; Sun, 09 Dec 2018 11:19:28 -0500 Original-Received: from mail2.botik.ru ([95.129.139.34]:47608) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gW1nf-0002fO-Tx for bug-gnu-emacs@gnu.org; Sun, 09 Dec 2018 11:19:24 -0500 Original-Received: from mechvel.pereslavl.ru ([192.168.58.131]:55797 helo=[192.168.1.2]) by mail.botik.ru with esmtp (Exim 4.69) (envelope-from ) id 1gW1nT-0007jN-Vo for bug-gnu-emacs@gnu.org; Sun, 09 Dec 2018 19:19:12 +0300 X-Mailer: Evolution 2.30.3 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Mailman-Approved-At: Sun, 09 Dec 2018 12:48:21 -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:153267 Archived-At: From: mechvel To: bug-gnu-emacs@gnu.org Subject: 25.2; UTF symbols Dear Emacs team, 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. Another example: there is a particular arrow which is input by the Agda input method as \--> It is intended to be as \r but a small bit different. Emacs under Debian Linux draws it so that I cannot distinguish it from drawing \r. So that it draws _Preserves_\r-->_ as close to _Preserves_->_ , which is mainly all right. But GNU Emacs 25.2.2 under Ubuntu 18.04 draws it as _Preserves_--> _ , where the arrow is long, and its `>' part reaches even further than the last underscore. Comment about how UTF gets to Agda programs via emacs ===================================================== To install the Agda input method one needs to put into .emacs a Lisp code somewhat of this kind -------------------------------------------------------------------- (load-file (let ((coding-system-for-read 'utf-8)) (shell-command-to-string "agda-mode locate"))) (custom-set-variables ;; custom-set-variables was added by Custom. ;; If you edit it by hand, you could mess it up, so be careful. ;; Your init file should contain only one such instance. ;; If there is more than one, they won't work right. '(agda2-abort-highlighting (quote interactive)) '(agda2-program-args (quote ("-i" "." "-i" "/home/mechvel/agda/stLib/dec4-2018/src" "-i" "/home/mechvel\ /agda/UNPrelude/src" "-i" "/home/mechvel/poly/0.1" "+RTS" "-K200m" "-M15G" "-RT\ S")))) (custom-set-faces ;; custom-set-faces was added by Custom. ;; If you edit it by hand, you could mess it up, so be careful. ;; Your init file should contain only one such instance. ;; If there is more than one, they won't work right. ) ------------------------------------------------------------------- Some part of it get there by the emacs commands load-library agda2-mode customize-group agda2 ... > agda-mode compile Regards, ------ Sergei ====================================================================== This text has been generated automatically by emacs. Probably it describes the precise configuration: In GNU Emacs 25.2.2 (x86_64-pc-linux-gnu, GTK+ Version 3.22.21) of 2017-09-22, modified by Debian built on lgw01-amd64-050 System Description: Ubuntu 18.04.1 LTS Configured using: 'configure --build x86_64-linux-gnu --prefix=/usr --sharedstatedir=/var/lib --libexecdir=/usr/lib --localstatedir=/var/lib --infodir=/usr/share/info --mandir=/usr/share/man --with-pop=yes --enable-locallisppath=/etc/emacs25:/etc/emacs:/usr/local/share/emacs/25.2/sit\ e-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/25.2/site-lisp:/usr/sh\ are/emacs/site-lisp --with-sound=alsa --without-gconf --build x86_64-linux-gnu --prefix=/usr --sharedstatedir=/var/lib --libexecdir=/usr/lib --localstatedir=/var/lib --infodir=/usr/share/info --mandir=/usr/share/man --with-pop=yes --enable-locallisppath=/etc/emacs25:/etc/emacs:/usr/local/share/emacs/25.2/sit\ e-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/25.2/site-lisp:/usr/sh\ are/emacs/site-lisp --with-sound=alsa --without-gconf --with-x=yes --with-x-toolkit=gtk3 --with-toolkit-scroll-bars 'CFLAGS=-g -O2 -fdebug-prefix-map=/build/emacs25-jYekUr/emacs25-25.2+1=. -fstack-protector-st\ rong -Wformat -Werror=format-security -Wall' 'CPPFLAGS=-Wdate-time -D_FORTIFY_SOURCE=2' 'LDFLAGS=-Wl,-Bsymbolic-functions -Wl,-z,relro'' Configured features: XPM JPEG TIFF GIF PNG RSVG IMAGEMAGICK SOUND GPM DBUS GSETTINGS NOTIFY ACL LIBSELINUX GNUTLS LIBXML2 FREETYPE M17N_FLT LIBOTF XFT ZLIB TOOLKIT_SCROLL_BARS GTK3 X11 Important settings: value of $LANG: ru_RU.UTF-8 value of $XMODIFIERS: @im=ibus locale-coding-system: utf-8-unix Major mode: Fundamental Minor modes in effect: tooltip-mode: t global-eldoc-mode: t electric-indent-mode: t mouse-wheel-mode: t tool-bar-mode: t menu-bar-mode: t file-name-shadow-mode: t global-font-lock-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t buffer-read-only: t line-number-mode: t transient-mark-mode: t Recent messages: Loading 00debian-vars...done Loading /etc/emacs/site-start.d/50dictionaries-common.el (source)... Loading debian-ispell... Loading /var/cache/dictionaries-common/emacsen-ispell-default.el (source)...don\ e Loading debian-ispell...done Loading /var/cache/dictionaries-common/emacsen-ispell-dicts.el (source)...done Loading /etc/emacs/site-start.d/50dictionaries-common.el (source)...done Loading /etc/emacs/site-start.d/50tcsh.el (source)...done Loading /home/mechvel/.cabal/share/x86_64-linux-ghc-8.0.2/Agda-2.6.0/emacs-mode\ /agda2.el (source)...done For information about GNU Emacs and the GNU system, type C-h C-a. Load-path shadows: /usr/share/emacs/25.2/site-lisp/debian-startup hides /usr/share/emacs/site-lisp\ /debian-startup Features: (shadow sort mail-extr emacsbug message dired format-spec rfc822 mml mml-sec password-cache epg epg-config gnus-util mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util help-fns help-mode easymenu cl-loaddefs pcase cl-lib mail-prsvr mail-utils term/xterm xterm time-date agda2 mule-util cyril-util tooltip eldoc electric uniquify ediff-hook vc-hooks lisp-float-type mwheel x-win term/common-win x-dnd tool-bar dnd fontset image regexp-opt fringe tabulated-list newcomment elisp-mode lisp-mode prog-mode register page menu-bar rfn-eshadow timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core frame cl-generic cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese charscript case-table epa-hook jka-cmpr-hook help simple abbrev minibuffer cl-preloaded nadvice loaddefs button faces cus-face macroexp files text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote dbusbind inotify dynamic-setting system-font-setting font-render-setting move-toolbar gtk x-toolkit x multi-tty make-network-process emacs) Memory information: ((conses 16 91504 4904) (symbols 48 19952 0) (miscs 40 79 97) (strings 32 14896 4789) (string-bytes 1 422389) (vectors 16 9971) (vector-slots 8 389091 16959) (floats 8 166 371) (intervals 56 255 13) (buffers 976 19))