From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#23871: 25.1.50; Undo unexpectedly leads to blank buffer Date: Mon, 04 Jul 2016 17:38:52 +0300 Message-ID: <83oa6dpiwz.fsf@gnu.org> References: <83h9cavdgj.fsf@gnu.org> <87poqyy2tc.fsf@metalevel.at> <87vb0qqrkz.fsf@russet.org.uk> <87h9c9zx75.fsf@metalevel.at> <834m89vmyv.fsf@gnu.org> <878txlsbdb.fsf@russet.org.uk> <87furtccdv.fsf@metalevel.at> <877fd5q9te.fsf@russet.org.uk> <83bn2gtruk.fsf@gnu.org> <87k2h37pvb.fsf@russet.org.uk> <87zipz223y.fsf@metalevel.at> <87a8hzkqp2.fsf@russet.org.uk> <87d1mv9gqm.fsf@metalevel.at> <8760smricr.fsf@russet.org.uk> <878txiha1g.fsf@metalevel.at> <87wpl2pj1u.fsf@russet.org.uk> <87shvqbcr0.fsf@metalevel.at> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1467643543 609 80.91.229.3 (4 Jul 2016 14:45:43 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 4 Jul 2016 14:45:43 +0000 (UTC) Cc: 23871@debbugs.gnu.org, phillip.lord@russet.org.uk To: Markus Triska Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Mon Jul 04 16:45:31 2016 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bK57q-0002mt-EX for geb-bug-gnu-emacs@m.gmane.org; Mon, 04 Jul 2016 16:45:30 +0200 Original-Received: from localhost ([::1]:48366 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bK57p-0002WX-Sm for geb-bug-gnu-emacs@m.gmane.org; Mon, 04 Jul 2016 10:45:29 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:56239) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bK52d-0004W3-Ua for bug-gnu-emacs@gnu.org; Mon, 04 Jul 2016 10:40:08 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bK52Y-0002i2-KT for bug-gnu-emacs@gnu.org; Mon, 04 Jul 2016 10:40:06 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:53093) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bK52Y-0002hy-Gg for bug-gnu-emacs@gnu.org; Mon, 04 Jul 2016 10:40:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1bK52Y-0008NF-C1 for bug-gnu-emacs@gnu.org; Mon, 04 Jul 2016 10:40:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 04 Jul 2016 14:40:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 23871 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 23871-submit@debbugs.gnu.org id=B23871.146764316432141 (code B ref 23871); Mon, 04 Jul 2016 14:40:02 +0000 Original-Received: (at 23871) by debbugs.gnu.org; 4 Jul 2016 14:39:24 +0000 Original-Received: from localhost ([127.0.0.1]:37196 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bK51w-0008ML-0X for submit@debbugs.gnu.org; Mon, 04 Jul 2016 10:39:24 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:36876) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bK51v-0008M8-2Q for 23871@debbugs.gnu.org; Mon, 04 Jul 2016 10:39:23 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bK51l-0002XX-Nd for 23871@debbugs.gnu.org; Mon, 04 Jul 2016 10:39:17 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:56200) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bK51l-0002X7-KL; Mon, 04 Jul 2016 10:39:13 -0400 Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:1828 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1bK51j-0006ro-Ol; Mon, 04 Jul 2016 10:39:12 -0400 In-reply-to: <87shvqbcr0.fsf@metalevel.at> (message from Markus Triska on Mon, 04 Jul 2016 00:03:31 +0200) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] 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:120396 Archived-At: > From: Markus Triska > Cc: Eli Zaretskii , 23871@debbugs.gnu.org > Date: Mon, 04 Jul 2016 00:03:31 +0200 > > OK, I have constructed a shell script that simulates SWI-Prolog for this > specific case, please download it from: > > https://www.metalevel.at/ei/simulans.sh > > Place it in the current directory and change the invocation of Emacs to: > > emacs -Q ceiled.pl -fn "Bitstream Vera Sans Mono 15" --eval \ > "(progn (load \"$PWD/ediprolog.el\") \ > (setq ediprolog-program \"$PWD/simulans.sh\"))" > > Note the setting of ediprolog-program to simulans.sh. I can reproduce > the issue with this script. If it does not work for you, please try a > different window size, font, or running Emacs in the terminal. Thanks, I reproduced the problem, and it definitely involves some anomaly in redisplay. I will look into that aspect of the problem.