When you hit Refresh menu, it doesn't do anything. The attached patch fixes the problem.
In the current version, it refreshes the underlying list of scripts, but it doesn't refresh the menu. This patch makes it refresh the menu in the UI as well.
In the current version, it refreshes the underlying list of scripts, but it doesn't refresh the menu. This patch makes it refresh the menu in the UI as well.