If GeoMenuLaunch is given a fairly simple setup, for
example
0=C:\WINNT\Explorer.exe
1=sep
2=C:\MyDir
and the contents of C:\MyDir change, the only way to
get GeoMenuLaunch to update to reflect the change is to
recycle GeoShell. Neither telling the plugin to
recycle nor giving geoshell a -restart_plugin will get
it to re-scan the directory.