[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#10770: info-display-manual replaces existing *info* buffer
From: |
Eli Zaretskii |
Subject: |
bug#10770: info-display-manual replaces existing *info* buffer |
Date: |
Thu, 09 Feb 2012 20:43:16 +0200 |
> From: Juri Linkov <juri@jurta.org>
> Date: Thu, 09 Feb 2012 11:28:03 +0200
> Cc: 10770@debbugs.gnu.org
>
> > M-x info-display-manual RET gnus RET
> > M-x info-display-manual RET emacs RET
> >
> > Now my Gnus manual is gone, replaced by the Emacs manual.
> > I expected it to use a new buffer for the Emacs manual.
>
> Maybe it would be good to append manual names to buffer names
> as suffixes like "*info*<gnu>" and "*info*<emacs>" to make
> unique and recognizable buffer names?
How would that help?
> But since currently uniqueness is provided by adding a number
> like "*info*<2>", the following patch will work with the
> current naming convention:
>
> === modified file 'lisp/info.el'
> --- lisp/info.el 2012-01-25 17:54:01 +0000
> +++ lisp/info.el 2012-02-09 09:27:10 +0000
> @@ -4999,7 +5005,7 @@ (defun info-display-manual (manual)
> (if found
> (switch-to-buffer found)
> (info-initialize)
> - (info (Info-find-file manual)))))
> + (info (Info-find-file manual) (generate-new-buffer-name "*info*")))))
Thanks.
- bug#10770: info-display-manual replaces existing *info* buffer, Glenn Morris, 2012/02/09
- bug#10770: info-display-manual replaces existing *info* buffer, Juri Linkov, 2012/02/09
- bug#10770: info-display-manual replaces existing *info* buffer,
Eli Zaretskii <=
- bug#10770: info-display-manual replaces existing *info* buffer, Eli Zaretskii, 2012/02/09
- bug#10770: info-display-manual replaces existing *info* buffer, Glenn Morris, 2012/02/09
- bug#10770: info-display-manual replaces existing *info* buffer, Glenn Morris, 2012/02/09
- bug#10770: info-display-manual replaces existing *info* buffer, Eli Zaretskii, 2012/02/09
- bug#10770: info-display-manual replaces existing *info* buffer, Drew Adams, 2012/02/09
- bug#10770: info-display-manual replaces existing *info* buffer, Glenn Morris, 2012/02/09
- bug#10770: info-display-manual replaces existing *info* buffer, Eli Zaretskii, 2012/02/09
- bug#10770: info-display-manual replaces existing *info* buffer, Glenn Morris, 2012/02/09
- bug#10770: info-display-manual replaces existing *info* buffer, Juri Linkov, 2012/02/10
- bug#10770: info-display-manual replaces existing *info* buffer, Stefan Monnier, 2012/02/10