On 2014-10-21 01:20, Robert Hanson wrote:
>
> OK, I understand now. It seems to me the easy way to do this would be
> to just allow a more obvious mechanism to save the history to a file
> of the user's choice and then restore it into the Script Editor
> (rather than the console). Then you should be able to run any given
> command or block of commands from that at will. And you see them all
> in front of you. I have not done much with the Script Editor myself,
> and I think actually maybe it is not very useful. But it could be
> useful, and it is way better than a simple single-line option.
> Certainly it should be possible to implement PAGE UP the way you
> describe also. I will look into it.
Dear Bob,
Thank you for considering new history options.
Contributions to this thread show that
while command history across sessions is considered
a useful feature but not in a completely automatic way.
So here is a modified proposal:
1. new command: save history "filename"
2. new command: load history "filename"
For 1. and 2.
the default filename could be history.txt
the default directory could be the startup directory of Jmol.jar
3. in the normal command window a few letters typed + PAGE UP
recalls only a subset of command starting with the typed letters.
4. new command: copy history to editor (or something similar)
As you have suggested the user can see all commands and cherry
pick.
5. a "finish script" that can include "save history"
in case the user would forget about it.
I hope all this is useful, coherent,
and satisfies both experimenting and power users.
Best regards,
Gabor Oszlanyi
------------------------------------------------------------------------------
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
