On Sun, Mar 9, 2014 at 6:15 AM, Jan-Pieter Jacobs < [email protected]> wrote: ...
Indeed it does when the line was an input line before. If it was an output > line before, it would be nice to have the indentation added when copying > it > down to the last rule. Now, you either have to add the indent yourself, or > you can execute it without indenting it anyhow, which removes the visual > cue about what was input or output. Having it done automatically would > improve the consistency of the session in the terminal. Agreed thanks, and done now. > > * Now, when you edit a previously entered line, and hit enter, it is > > copied > > > to the bottom, and executed when enter is hit again. This is good, but > > > results in a mingled history higher up, since now there still is the > > edited > > > command, with the original result below it, inconsistent with the > command > > > shown. > > > > > > > You should enter first, then edit the line at the bottom. The terminal > is > > not intended be a faithful log of the session. > > Indeed, it is not a necessity, but personally I'd appreciate it. I know > hitting return before editing helps, but what functionality would be lost > when it would be implemented as I suggested. Maybe It's just me, and it > says more about my short term memory... This topic comes up from time to time, e.g. http://www.jsoftware.com/pipermail/general/2002-January/008908.html . I am open to suggestions for improvement, but the basic idea of the terminal being a scratchpad that does not accurately reflect history is unlikely to change. > > * Pasting lines in the J session should work as expected, meaning that a > > LF > > > triggers the execution of each of the lines, instead of just the last > > one, > > > ignoring the others. I know that J aims to follow the way of least > > surprise > > > (or at least bad surprises), and sensible defaults; in my opinion, this > > is > > > a counter example. > > > > > > > I am in two minds about this. Right now, you can press F8 and have the > > clipboard executed (menu Run|Clipboard). I think there are times when > > someone pastes in some text and fixes it up in the terminal before > > executing line by line. > > > > Indeed, editing after pasting is a valid point. Maybe it is possible to > > capture the number of lines pasted, and execute from the first line > pasted? > > This would accommodate both issues at the same time. > What I suggest instead is pasting the text into a script window. Usually multi-line text needs checking and perhaps reorganizing first. Then you can run the lines directly from the script window. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
