fixes #387 - Console should hide settings that cannot be set and that are hidden
Merge pull request #388 from giastfader/0.8.2

fixed #387 - Console should hide settings that cannot be set and that ar...