diff --git a/services/web/public/coffee/ide.coffee b/services/web/public/coffee/ide.coffee index bfe5f12f51..f6c2abdec4 100644 --- a/services/web/public/coffee/ide.coffee +++ b/services/web/public/coffee/ide.coffee @@ -65,7 +65,7 @@ define [ view: "editor" chatOpen: false pdfLayout: 'sideBySide' - showCodeCheckerOnboarding: true + showCodeCheckerOnboarding: window.userSettings.syntaxValidation? } $scope.user = window.user