James-Yu/LaTeX-Workshop
1
1
Fork 0
mirror of https://github.com/James-Yu/LaTeX-Workshop.git synced 2024-10-04 15:17:59 +03:00
Code Issues Projects Releases Wiki Activity

Add setting to control debug log display

Browse Source
This commit is contained in:
James-Yu 2017-03-26 13:29:24 +08:00
parent 25d6b62a59
commit 172f133a4e
3 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
package.json
View File

@ -153,6 +153,11 @@
"type": "boolean",
"default": true,
"description": "Build LaTeX after saving LaTeX source file.\nThis property defines whether LaTeX Workshop will execute the LaTeX toolchain command(s) to build the project after new LaTeX contents are saved."
},
"latex-workshop.show_debug_log": {
"type": "boolean",
"default": true,
"description": "Display LaTeX Workshop debug log in output panel.\nThis property defines whether LaTeX Workshop will output its debug log to the log panel."
}
}
}

2
src/locator.ts
View File

@ -50,6 +50,7 @@ export class Locator {
let root = this.extension.manager.findRoot(false)
let pdfFile = this.extension.manager.tex2pdf(root)
let cmd = `synctex view -i "${position.line + 1}:${position.character + 1}:${filePath}" -o "${pdfFile}"`
this.extension.logger.addLogMessage(`Executing ${cmd}`)
cp.exec(cmd, {cwd: path.dirname(root)}, (err, stdout, stderr) => {
if (err)
this.extension.logger.addLogMessage(`Cannot synctex: ${err}, ${stderr}`)
@ -60,6 +61,7 @@ export class Locator {
locate(data: any, pdfPath: string) {
let cmd = `synctex edit -o "${data.page}:${data.pos[0]}:${data.pos[1]}:${pdfPath}"`
this.extension.logger.addLogMessage(`Executing ${cmd}`)
cp.exec(cmd, {cwd: path.dirname(pdfPath)}, (err, stdout, stderr) => {
if (err) {
this.extension.logger.addLogMessage(`Cannot reverse synctex: ${err}, ${stderr}`)

4
src/logger.ts
View File

@ -15,6 +15,8 @@ export class Logger {
}
addLogMessage(message: string) {
this.logPanel.append(`[${new Date().toLocaleTimeString('en-US', {hour12: false})}] ${message}\n`)
let configuration = vscode.workspace.getConfiguration('latex-workshop')
if (configuration.get('show_debug_log'))
this.logPanel.append(`[${new Date().toLocaleTimeString('en-US', {hour12: false})}] ${message}\n`)
}
}