Re: Patch to disable links line in *info* buffer

["Stefan Monnier" <monnier+gnu/emacs@RUM.cs.yale.edu>]

> Perhaps it would be a good idea is to create a new *info* header line
> based on the new style that also tells you the file name, and that
> fills nicely to two lines when it is too wide to fit on one line, and
> that can be copied by the usual commands.

I haven't seen a convincing argument for why the header-line should contain
the file and/or current node name.

Based on your deep-vs-surface argument, I'd say that the best
choice is to hide the first line by scrolling (rather than by
narrow-to-region as is currently done), so that the deep info is
readily available, although it's not annoyingly in-your-face like
it is now.

> Regardless of how the *info* header line question is settled, I do
> think we should continue to support the simple and satisfying
> principle that a user can copy anything within a buffer using the same
> command (with keybinding and mouse interface).  Moreover, I think we
> should use the deep-structure/surface-representations model for many
> of the newly arising display issues.

The problem is that the header-line, just line the mode-line, the tool-bar,
the menu-bar (and probably more) is not part of the buffer.  There has
never been any way to easily copy their content (and especially not
their underlying "deep" content) with the usual keybindings.


	Stefan