Jmol.___JmolVersion="14.3.8_2014.10.20"
new feature: load HISTORY "saved.his" (Gabor Oszlanyi)
-- loads command history with script in saved.his
new feature: CTRL-PAGE_UP CTRL-PAGE_DOWN in console (Gabor Oszlanyi)
-- searches for next instance of current start of command up or down
command history
So the suggestion here is that the user can easily save/restore the history
(without actually running it).
It's easy enough for the knowledgeable user to do this manually. Just type
* write t.his*prior to closing Jmol (or any other time) and
* load history t.his*
upon some later occasion (not necessarily at the point of start-up of Jmol).
I believe this serves Gabor's goals and more, because it is more flexible.
The CTRL-PAGE_UP and CTRL-PAGE_DOWN work very nicely. I should point out
that this is not the same history mechanism as in MS-DOS. Selection of a
historical command does not place one at that point in the history -- it
merely executes that command and tacks it on to the running history,
returning you to the end.
I still think the script editor is far more powerful and perhaps needs some
tuning to work smoothly. Right now it steps through a script using PAUSE
and RESUME, which is not intuitive at all and has some odd features.
but the maximum number of lines should be a user-defined parameter.
> What happens when the maximum number of lines are exceeded?
> Naturally the first and oldest ones are lost gradually.
>
>
In place already:
* set history nLines*
*Sets the number of lines of command history to record (minimum 2) and
turns history recording ON. set history 0 turns off the command history
feature but does not actually set the number of lines to zero. *
> A more important decision to make:
> - When should we append to the history file?
> After execution of each line, after execution of n lines,
> at regular time intervals, at the end of the session, etc.?
> I think that after each line should be a good first choice,
> and then we should just gain experience and see how it goes.
>
This is well established. No need for changes there, I think. It's what you
expect -- just every command executed becomes part of the history.
------------------------------------------------------------------------------
Comprehensive Server Monitoring with Site24x7.
Monitor 10 servers for $9/Month.
Get alerted through email, SMS, voice calls or mobile push notifications.
Take corrective actions from your mobile device.
http://p.sf.net/sfu/Zoho
_______________________________________________
Jmol-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jmol-users
