PdfManager.js 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142
  1. /* eslint-disable
  2. no-unused-vars,
  3. */
  4. // TODO: This file was created by bulk-decaffeinate.
  5. // Fix any style issues and re-enable lint.
  6. /*
  7. * decaffeinate suggestions:
  8. * DS102: Remove unnecessary code created because of implicit returns
  9. * Full docs: https://github.com/decaffeinate/decaffeinate/blob/master/docs/suggestions.md
  10. */
  11. import './controllers/PdfController'
  12. import './controllers/PdfSynctexController'
  13. import './controllers/PdfViewToggleController'
  14. import '../pdfng/directives/pdfJs'
  15. let PdfManager
  16. export default PdfManager = class PdfManager {
  17. constructor(ide, $scope) {
  18. this.ide = ide
  19. this.$scope = $scope
  20. this.$scope.pdf = {
  21. url: null, // Pdf Url
  22. error: false, // Server error
  23. timeout: false, // Server timed out
  24. failure: false, // PDF failed to compile
  25. compiling: false,
  26. uncompiled: true,
  27. logEntries: {},
  28. logEntryAnnotations: {},
  29. rawLog: '',
  30. validation: {},
  31. view: null, // 'pdf' 'logs'
  32. showRawLog: false,
  33. highlights: [],
  34. position: null,
  35. lastCompileTimestamp: null,
  36. clsiServerId: null,
  37. compileGroup: null,
  38. }
  39. }
  40. }