[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: view source for selected Info node
|
From: |
Kevin Rodgers |
|
Subject: |
Re: view source for selected Info node |
|
Date: |
Wed, 07 Apr 2004 16:06:30 -0600 |
|
User-agent: |
Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:0.9.4.1) Gecko/20020406 Netscape6/6.2.2 |
Dan Jacobson wrote:
> In Info mode there's
> e Edit contents of selected node.
> but that often 'not enabled'.
Even if it is enabled, you can't actually edit the Info markup, because
it's been deleted from the *info* buffer.
> But all I wanted to do is view the source for the selected node.
> Even mozilla has "view source" for HTML. So add a 'view source for
> selected node' command.
Ideally, `M-x Info-view' would just call `M-x Info-edit' (or vice versa)
with a variable bound to set buffer-read-only. So Info-edit-mode should
first be fixed to undo the formatting changes made to the *info* buffer.
--
Kevin Rodgers