diff --git a/services/web/public/coffee/ide/pdf/controllers/PdfController.coffee b/services/web/public/coffee/ide/pdf/controllers/PdfController.coffee index ce3c8cbce1..93166d4388 100644 --- a/services/web/public/coffee/ide/pdf/controllers/PdfController.coffee +++ b/services/web/public/coffee/ide/pdf/controllers/PdfController.coffee @@ -77,7 +77,7 @@ define [ autoCompileTimeout = null triggerAutoCompile = () -> - return if autoCompileTimeout + return if autoCompileTimeout or $scope.ui.pdfHidden timeSinceLastCompile = Date.now() - $scope.recompiledAt # If time is non-monotonic, assume that the user's system clock has been