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

[Andreas Schwab]

"Stefan Monnier" <monnier+gnu/address@hidden> writes:

|> 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.

Another problem with all those off-buffer elements is that they are not
scrollable, and valuable information can easily get shifted out of sight.

Andreas.

-- 
Andreas Schwab, SuSE Labs, address@hidden
SuSE Linux AG, Deutschherrnstr. 15-19, D-90429 Nürnberg
Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."