From: Lars Ingebrigtsen <larsi@gnus.org>
To: Robert Pluim <rpluim@gmail.com>
Cc: "積丹尼 Dan Jacobson" <jidanni@jidanni.org>, 38308@debbugs.gnu.org
Subject: bug#38308: INFO files changed on disk: mention rereading workaround
Date: Thu, 21 Nov 2019 14:04:09 +0100 [thread overview]
Message-ID: <878so92xfa.fsf@gnus.org> (raw)
In-Reply-To: <m28so98x3s.fsf@gmail.com> (Robert Pluim's message of "Thu, 21 Nov 2019 09:14:31 +0100")
Robert Pluim <rpluim@gmail.com> writes:
>>>>>> On Thu, 21 Nov 2019 08:11:26 +0800, 積丹尼 Dan Jacobson
> <jidanni@jidanni.org> said:
>
> 積丹尼> (info "(info) Advanced") should add FAQ:
> 積丹尼> Q: What if the info files or top directory change on disk? Unlike
> 積丹尼> normal browsers INFO has no refresh command.
>
> 積丹尼> A: Kill the *info* buffer and start INFO again.
>
> You donʼt have to kill the *info* buffer, you can just revert it. I do
> that all the time when Iʼm writing info documentation, but I canʼt see
> that being a common occurence in normal use.
Yeah, I don't think this is a frequently asked question, so I'm closing
this bug report.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
next prev parent reply other threads:[~2019-11-21 13:04 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-21 0:11 bug#38308: INFO files changed on disk: mention rereading workaround 積丹尼 Dan Jacobson
2019-11-21 8:14 ` Robert Pluim
2019-11-21 13:04 ` Lars Ingebrigtsen [this message]
2019-11-21 15:00 ` 積丹尼 Dan Jacobson
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=878so92xfa.fsf@gnus.org \
--to=larsi@gnus.org \
--cc=38308@debbugs.gnu.org \
--cc=jidanni@jidanni.org \
--cc=rpluim@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.