diff --git a/services/web/public/coffee/ide/pdf/controllers/PdfController.coffee b/services/web/public/coffee/ide/pdf/controllers/PdfController.coffee index 23770faef7..abbf6b401c 100644 --- a/services/web/public/coffee/ide/pdf/controllers/PdfController.coffee +++ b/services/web/public/coffee/ide/pdf/controllers/PdfController.coffee @@ -6,7 +6,6 @@ define [ "services/log-hints-feedback" ], (App, Ace, HumanReadableLogs, BibLogParser) -> App.controller "PdfController", ($scope, $http, ide, $modal, synctex, event_tracking, logHintsFeedback, localStorage) -> - # enable per-user containers by default perUserCompile = true autoCompile = true @@ -76,7 +75,7 @@ define [ ide.$scope.$on "ide:opAcknowledged", _.debounce(() -> if (!ide.$scope.hasLintingError) $scope.recompile() - , 3000) + , 3000) if window.user?.betaProgram # abort compile if syntax checks fail $scope.stop_on_validation_error = localStorage("stop_on_validation_error:#{$scope.project_id}")