On Oct 25, 2004, at 10:55 PM, Miguel wrote:
On Monday 25 October 2004 13:31, Ren� Kanters wrote:I was surprised that the command history in the script window rolls around, i.e., once you get to the first command it starts at the last or vice versa. I am not used to that happening in my shell, so that surprised me.
A side-effect is that if you start scrolling up or down, you can never
get to an empty command anymore unless you delete the echoed history
command...
I noticed that Egon (in CommandHistory.java) has some specific
calculations set up (lines 95-103) where this is done, so it was a very
deliberate choice at that point in time.
It was written by ? who send us a patch...
Some guy in Spain ... but not me :-)
Is this something we may want to reconsider?
Normally, we would not remove it, but make it optional...
Don't understand.
My position is ... if it is broken and you want to change it, then you should do whatever you want to fix it.
I agree with out. Whether or not it is broken depends on what you wanted it to do. In this case I did not understand the reason for what it is doing except that I did not find it a useful 'feature'.
Maybe that is what Egon is after: some people consider a feature a bug if you can not turn it off :-).
Ren�
------------------------------------------------------- This SF.net email is sponsored by: IT Product Guide on ITManagersJournal Use IT products in your business? Tell us what you think of them. Give us Your Opinions, Get Free ThinkGeek Gift Certificates! Click to find out more http://productguide.itmanagersjournal.com/guidepromo.tmpl _______________________________________________ Jmol-developers mailing list [EMAIL PROTECTED] https://lists.sourceforge.net/lists/listinfo/jmol-developers
