minor documentation fix - command line editing

  • This site uses cookies. By continuing to use this site, you are agreeing to our use of cookies. Learn more.
Feb 23, 2012
The page entitled "Command History Window" notes towards the end: "you cannot edit the line directly in the history window". Unless I completely misunderstood something, this seems to be exactly what Ctrl-E allows us to do. I'm guessing therefore that this line is leftover from an earlier version before Ctrl-E functionality was added.
On the other hand, if the intent was something else, please do clarify.