Merge branch 'terminalsettings_visibility' of https://github.com/xfournet/intellij...