Fixed bug with Shortcode menu button hiding when latest WooCommerce plugin was installed.
version 1.40