2018-11-05 05:06:39 -05:00
|
|
|
/* eslint-disable
|
|
|
|
no-unused-vars,
|
|
|
|
*/
|
|
|
|
// TODO: This file was created by bulk-decaffeinate.
|
|
|
|
// Fix any style issues and re-enable lint.
|
|
|
|
/*
|
|
|
|
* decaffeinate suggestions:
|
|
|
|
* DS102: Remove unnecessary code created because of implicit returns
|
|
|
|
* Full docs: https://github.com/decaffeinate/decaffeinate/blob/master/docs/suggestions.md
|
|
|
|
*/
|
2020-05-19 05:02:56 -04:00
|
|
|
import './controllers/PdfController'
|
2021-09-03 05:07:17 -04:00
|
|
|
import './controllers/PdfSynctexController'
|
2020-05-19 05:02:56 -04:00
|
|
|
import './controllers/PdfViewToggleController'
|
|
|
|
import '../pdfng/directives/pdfJs'
|
2020-09-28 06:51:15 -04:00
|
|
|
|
2020-05-19 05:02:56 -04:00
|
|
|
let PdfManager
|
|
|
|
|
2020-12-15 05:23:54 -05:00
|
|
|
export default PdfManager = class PdfManager {
|
2020-05-19 05:02:56 -04:00
|
|
|
constructor(ide, $scope) {
|
|
|
|
this.ide = ide
|
|
|
|
this.$scope = $scope
|
|
|
|
this.$scope.pdf = {
|
|
|
|
url: null, // Pdf Url
|
|
|
|
error: false, // Server error
|
|
|
|
timeout: false, // Server timed out
|
|
|
|
failure: false, // PDF failed to compile
|
|
|
|
compiling: false,
|
|
|
|
uncompiled: true,
|
2020-09-29 07:08:49 -04:00
|
|
|
logEntries: {},
|
2020-05-19 05:02:56 -04:00
|
|
|
logEntryAnnotations: {},
|
|
|
|
rawLog: '',
|
2020-11-26 04:58:42 -05:00
|
|
|
validation: {},
|
2020-05-19 05:02:56 -04:00
|
|
|
view: null, // 'pdf' 'logs'
|
|
|
|
showRawLog: false,
|
|
|
|
highlights: [],
|
2020-11-16 05:01:01 -05:00
|
|
|
position: null,
|
2021-04-27 03:52:58 -04:00
|
|
|
lastCompileTimestamp: null,
|
2021-10-08 05:40:39 -04:00
|
|
|
clsiServerId: null,
|
|
|
|
compileGroup: null,
|
2018-11-05 05:06:39 -05:00
|
|
|
}
|
2020-05-19 05:02:56 -04:00
|
|
|
}
|
2020-12-15 05:23:54 -05:00
|
|
|
}
|