Dear All, As a result of our final discussion on how to improve the functioning of the script editor, I have submitted a bug report (#2968) and an enhancement request (#2969) to Bugzilla. Please vote for them (or not) as you wish. If you think there is anything crucial to add (or subtract), please let me know. Thanks. Regards, Bob