Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
You are right, it makes more sense if it just toggles or shows the applications from the desktop.
if (Main.overview.visible) Main.overview.toggle(); is just the same as if (Main.overview.visible) Main.overview.hide(); Not that it matters, but the latter makes the intention clearer IMHO.
Show Applications
