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#20943: 25.0.50; Dired buffers are not always auto-reverted Date: Fri, 10 Jul 2015 08:46:27 +0300 Message-ID: <83r3ogbm4s.fsf@gnu.org> References: <87y4j1oy87.fsf@openmailbox.org> <87pp41cvl1.fsf@openmailbox.org> <83615tv14o.fsf@gnu.org> <874mldtkl9.fsf@openmailbox.org> <874mld18cx.fsf@gmx.de> <87io9t3yoh.fsf@openmailbox.org> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8BIT X-Trace: ger.gmane.org 1436507244 13819 80.91.229.3 (10 Jul 2015 05:47:24 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 10 Jul 2015 05:47:24 +0000 (UTC) Cc: 20943@debbugs.gnu.org, michael.albinus@gmx.de To: Mark Karpov Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Jul 10 07:47:13 2015 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 1ZDR9U-0006RN-3l for geb-bug-gnu-emacs@m.gmane.org; Fri, 10 Jul 2015 07:47:12 +0200 Original-Received: from localhost ([::1]:43073 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZDR9T-00070c-AB for geb-bug-gnu-emacs@m.gmane.org; Fri, 10 Jul 2015 01:47:11 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42669) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZDR9O-00070N-W1 for bug-gnu-emacs@gnu.org; Fri, 10 Jul 2015 01:47:08 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZDR9J-0001Tb-WD for bug-gnu-emacs@gnu.org; Fri, 10 Jul 2015 01:47:06 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:44289) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZDR9J-0001TW-SV for bug-gnu-emacs@gnu.org; Fri, 10 Jul 2015 01:47:01 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1ZDR9J-00010A-L7 for bug-gnu-emacs@gnu.org; Fri, 10 Jul 2015 01:47:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 10 Jul 2015 05:47:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 20943 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 20943-submit@debbugs.gnu.org id=B20943.14365072023821 (code B ref 20943); Fri, 10 Jul 2015 05:47:01 +0000 Original-Received: (at 20943) by debbugs.gnu.org; 10 Jul 2015 05:46:42 +0000 Original-Received: from localhost ([127.0.0.1]:45735 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZDR8z-0000zX-2p for submit@debbugs.gnu.org; Fri, 10 Jul 2015 01:46:41 -0400 Original-Received: from mtaout22.012.net.il ([80.179.55.172]:42315) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZDR8x-0000zI-0n for 20943@debbugs.gnu.org; Fri, 10 Jul 2015 01:46:39 -0400 Original-Received: from conversion-daemon.a-mtaout22.012.net.il by a-mtaout22.012.net.il (HyperSendmail v2007.08) id <0NR900000C0V6200@a-mtaout22.012.net.il> for 20943@debbugs.gnu.org; Fri, 10 Jul 2015 08:46:31 +0300 (IDT) Original-Received: from HOME-C4E4A596F7 ([87.69.4.28]) by a-mtaout22.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0NR9000RWC1H5I00@a-mtaout22.012.net.il>; Fri, 10 Jul 2015 08:46:31 +0300 (IDT) In-reply-to: <87io9t3yoh.fsf@openmailbox.org> X-012-Sender: halo1@inter.net.il X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.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-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:104872 Archived-At: > From: Mark Karpov > Cc: Eli Zaretskii , 20943@debbugs.gnu.org > Date: Fri, 10 Jul 2015 01:42:38 +0600 > > Frankly, you have three concepts that control behavior of > ‘auto-revert-mode’: > > * buffer associated with file (this may be used as «fourth notion», > although I don't know which buffers else are not associated with > files, chances are the new behavior is not very good for anything > other than Dired), > > * modified buffer, > > * stale buffer. > > This is not enough to implement this new behavior, you need more > information about buffer now. So, you need fourth notion that would tell > you if current buffer is such that you can revert it even if it's > modified. > > Now, if you like to keep it on more abstract level, you can introduce > some notion for this sort of buffers, buffers that should be reverted by > ‘auto-revert-mode’ even when they are modified. > > You can introduce a list that will enumerate major modes that define > such buffers, or implement it in some other way. Then you can have a > predicate that will tell you what if you're in such a special buffer or > not. How about instead introducing a buffer-local variable, say auto-revert-when-modified, which Dired will set to a non-nil value, and auto-revert will test? Then, when this variable is non-nil, auto-revert could disregard the modified status, and revert the buffer, if stale, anyway.