Hide entities menu is now configurable via user preferences
Merge branch 'develop' into is-deleted