SetOptionsConfiguration.d.ts 441 B

12345678
  1. import { Configuration } from '../Configuration.js';
  2. import TexParser from '../TexParser.js';
  3. export declare const SetOptionsUtil: {
  4. filterPackage(parser: TexParser, extension: string): boolean;
  5. filterOption(parser: TexParser, extension: string, option: string): boolean;
  6. filterValue(_parser: TexParser, _extension: string, _option: string, value: string): string;
  7. };
  8. export declare const SetOptionsConfiguration: Configuration;