use hide-show in scala mode