On Wed, Sep 3, 2008 at 12:25 PM, rspinney [EMAIL PROTECTED]
wrote:
I am not sure if these are bugs are not, but I have a couple of problems
with the echo command. First is set echo myecho hidden does not work, set
echo hidden does, i.e. it does not like the echo name being used.
Does seem
I consider the fact that
hide $my*
does not extend to ECHO to be a bug. Jmol 11.6.RC13 will have
hide/display/color/delete $*xxx*
implemented for ECHO
Bob
On Wed, Sep 3, 2008 at 1:14 PM, Robert Hanson [EMAIL PROTECTED] wrote:
On Wed, Sep 3, 2008 at 12:25 PM, rspinney
[EMAIL
2 matches
Mail list logo