Support disabling section numbers in preview.
This commit is contained in:
parent
ba9e6a6b2a
commit
464685fda9
|
@ -192,6 +192,11 @@
|
||||||
"default": false,
|
"default": false,
|
||||||
"description": "Suppress node separators in preview."
|
"description": "Suppress node separators in preview."
|
||||||
},
|
},
|
||||||
|
"texinfo.preview.noNumberSections": {
|
||||||
|
"type": "boolean",
|
||||||
|
"default": false,
|
||||||
|
"description": "Do not display chapter and section numbers in preview"
|
||||||
|
},
|
||||||
"texinfo.preview.noValidation": {
|
"texinfo.preview.noValidation": {
|
||||||
"type": "boolean",
|
"type": "boolean",
|
||||||
"default": false,
|
"default": false,
|
||||||
|
|
|
@ -64,6 +64,10 @@ export default class Options {
|
||||||
return this.getBoolean('preview.noHeaders');
|
return this.getBoolean('preview.noHeaders');
|
||||||
}
|
}
|
||||||
|
|
||||||
|
get noNumberSections() {
|
||||||
|
return this.getBoolean('preview.noNumberSections');
|
||||||
|
}
|
||||||
|
|
||||||
get noValidation() {
|
get noValidation() {
|
||||||
return this.getBoolean('preview.noValidation');
|
return this.getBoolean('preview.noValidation');
|
||||||
}
|
}
|
||||||
|
|
|
@ -36,6 +36,7 @@ export default class Converter {
|
||||||
const options = ['-o-', '--no-split', '--html', `--error-limit=${this.options.errorLimit}`,
|
const options = ['-o-', '--no-split', '--html', `--error-limit=${this.options.errorLimit}`,
|
||||||
`--init-file=${this.initFile}`, '-D', `__vscode_texinfo_image_uri_base ${newPath}`];
|
`--init-file=${this.initFile}`, '-D', `__vscode_texinfo_image_uri_base ${newPath}`];
|
||||||
this.options.noHeaders && options.push('--no-headers');
|
this.options.noHeaders && options.push('--no-headers');
|
||||||
|
this.options.noNumberSections && options.push('--no-number-sections');
|
||||||
this.options.noValidation && options.push('--no-validate');
|
this.options.noValidation && options.push('--no-validate');
|
||||||
this.options.noWarnings && options.push('--no-warn');
|
this.options.noWarnings && options.push('--no-warn');
|
||||||
if (insertScript !== undefined) {
|
if (insertScript !== undefined) {
|
||||||
|
|
Loading…
Reference in New Issue