From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Tassilo Horn Newsgroups: gmane.emacs.bugs Subject: bug#21729: doc-view messed up by early auto-revert Date: Thu, 03 Oct 2019 11:21:29 +0200 Message-ID: <87h84q9obq.fsf@gnu.org> References: <874mhjtoc2.fsf@gnu.org> <87vb9zx7j2.fsf@gnu.org> <87fv12szdz.fsf@members.fsf.org> <87ziz9vqw5.fsf@gnu.org> <87muenl0fl.fsf@gnus.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="267102"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) Cc: 21729@debbugs.gnu.org, Nicolas Richard , Stefan Monnier To: Lars Ingebrigtsen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Oct 03 11:22:10 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iFxJK-0017Np-BF for geb-bug-gnu-emacs@m.gmane.org; Thu, 03 Oct 2019 11:22:10 +0200 Original-Received: from localhost ([::1]:34032 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iFxJI-0003Mh-Jg for geb-bug-gnu-emacs@m.gmane.org; Thu, 03 Oct 2019 05:22:08 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:47546) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iFxJD-0003Lo-Cq for bug-gnu-emacs@gnu.org; Thu, 03 Oct 2019 05:22:04 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iFxJC-0007ec-DQ for bug-gnu-emacs@gnu.org; Thu, 03 Oct 2019 05:22:03 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:58203) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iFxJC-0007eY-AW for bug-gnu-emacs@gnu.org; Thu, 03 Oct 2019 05:22:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iFxJB-0003U9-US for bug-gnu-emacs@gnu.org; Thu, 03 Oct 2019 05:22:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Tassilo Horn Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 03 Oct 2019 09:22:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 21729 X-GNU-PR-Package: emacs Original-Received: via spool by 21729-submit@debbugs.gnu.org id=B21729.157009450013366 (code B ref 21729); Thu, 03 Oct 2019 09:22:01 +0000 Original-Received: (at 21729) by debbugs.gnu.org; 3 Oct 2019 09:21:40 +0000 Original-Received: from localhost ([127.0.0.1]:38791 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iFxIq-0003TW-4I for submit@debbugs.gnu.org; Thu, 03 Oct 2019 05:21:40 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:38444) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iFxIo-0003TJ-Ns for 21729@debbugs.gnu.org; Thu, 03 Oct 2019 05:21:39 -0400 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:41061) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iFxIi-0007Ux-Mw; Thu, 03 Oct 2019 05:21:33 -0400 Original-Received: from auth2-smtp.messagingengine.com ([66.111.4.228]:49821) by fencepost.gnu.org with esmtpsa (TLS1.2:DHE_RSA_AES_256_CBC_SHA256:256) (Exim 4.82) (envelope-from ) id 1iFxIi-0006m2-96; Thu, 03 Oct 2019 05:21:32 -0400 Original-Received: from compute7.internal (compute7.nyi.internal [10.202.2.47]) by mailauth.nyi.internal (Postfix) with ESMTP id A907420EB0; Thu, 3 Oct 2019 05:21:31 -0400 (EDT) Original-Received: from mailfrontend1 ([10.202.2.162]) by compute7.internal (MEProxy); Thu, 03 Oct 2019 05:21:31 -0400 X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedufedrgeekgddugecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefhvffufhffjgfkfgggtgesthdtredttdertdenucfhrhhomhepvfgrshhsihhl ohcujfhorhhnuceothhsughhsehgnhhurdhorhhgqeenucfkphepkeegrddufedvrdelle drgeeinecurfgrrhgrmhepmhgrihhlfhhrohhmpehthhhorhhnodhmvghsmhhtphgruhht hhhpvghrshhonhgrlhhithihqdekieejfeekjeekgedqieefhedvleekqdhtshguhheppe hgnhhurdhorhhgsehfrghsthhmrghilhdrfhhmnecuvehluhhsthgvrhfuihiivgeptd X-ME-Proxy: Original-Received: from thinkpad-t440p (p5484632e.dip0.t-ipconnect.de [84.132.99.46]) by mail.messagingengine.com (Postfix) with ESMTPA id 6A6C180059; Thu, 3 Oct 2019 05:21:30 -0400 (EDT) In-Reply-To: <87muenl0fl.fsf@gnus.org> (Lars Ingebrigtsen's message of "Sun, 29 Sep 2019 15:03:10 +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: 209.51.188.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:168210 Archived-At: Lars Ingebrigtsen writes: > It seems the original issue reported here was fixed, but then an > enhancement request is discussed: > > Tassilo Horn writes: > >> Alternatively, we could of course enhance autorevert.el, e.g., by >> introducing some buffer-local variable `auto-revert-predicate' which is >> run by auto-revert in order to test if the current buffer can be >> reverted right now. That could then be used by doc-view, and I guess >> there are other modes which could make use of such a feature, too. >> >> Stefan, do you think that would be a good idea? > > I'm not Stefan, but I think that sounds like a good idea. I don't know. There are not many file types which are regenerated (where regeneration modifies the file several times and takes some time), likely to be opened in Emacs, and which can be checked for validity. Bye, Tassilo