Improve tools menu behavior.
The tools menu is now visible when an example is loaded, but the tools
that cannot be used on an example are hidden.