My feeling is that !quit is a radical "end everything". I vote for it stopping all efects: animation, vibration, minimization...
How about spinning? I am seeing that at least "quit" does not stop spinning. Permanent spinning is irritating to me, so I'd be happy that it is also stopped by one or another form of quit. (The spinning is being activated inside the running script that I am interrupting) ------------------------------------------------------------------------------ LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial Remotely access PCs and mobile devices and provide instant support Improve your efficiency, and focus on delivering more value-add services Discover what IT Professionals Know. Rescue delivers http://p.sf.net/sfu/logmein_12329d2d _______________________________________________ Jmol-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/jmol-users
