|
From: Daniel J S. <dan...@ie...> - 2007-06-08 16:04:56
|
pl...@pi... wrote: > On Fri, 08 Jun 2007 00:25:05 +0200, Daniel J Sebald > <dan...@ie...> wrote: > >> Also, I should point out that the patch removes all duplicate spaces >> from input >> lines before placing them in the history buffer. This makes things >> more tidy >> and also makes things like "plot x" and "plot x" eqivalent. >> Dan > > > I'd be careful about "tidying" things up. History should show what was > done , not some arbitary sanitised version. If ppls want "clean" they > should tap clean commands. I see no justification for this feature. > > Without searching for a specific example, I may want to see why > something happened differently to I expect (bug of finger trouble). I > NEED to see exactly what I typed. Please dont mess with. > > Appreciate your efforts on this I think the clean up and new ideas look > very good in general. > > ;) "history" is a very particular item, I see. I can leave it out; its effect probably isn't that significant in reducing redundancy when in condensed mode. Dan |