general/tools/misc/
exec.pro
WIDGET Procedure: EXEC PURPOSE: Widget tool that executes a user specified routine. This tool runs in the background. Author: Davin Larson - Feb 2012 $LastChangedBy: $ $LastChangedDate: $ $LastChangedRevision: $ $URL: $
Routines
Routines from exec.pro
Routine details
File attributes
Modification date: | Thu Feb 13 16:43:14 2014 |
Lines: | 69 |