123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133 |
- "use strict";
- Object.defineProperty(exports, "__esModule", { value: true });
- exports.TexConstant = void 0;
- var TexConstant;
- (function (TexConstant) {
- TexConstant.Variant = {
- NORMAL: 'normal',
- BOLD: 'bold',
- ITALIC: 'italic',
- BOLDITALIC: 'bold-italic',
- DOUBLESTRUCK: 'double-struck',
- FRAKTUR: 'fraktur',
- BOLDFRAKTUR: 'bold-fraktur',
- SCRIPT: 'script',
- BOLDSCRIPT: 'bold-script',
- SANSSERIF: 'sans-serif',
- BOLDSANSSERIF: 'bold-sans-serif',
- SANSSERIFITALIC: 'sans-serif-italic',
- SANSSERIFBOLDITALIC: 'sans-serif-bold-italic',
- MONOSPACE: 'monospace',
- INITIAL: 'inital',
- TAILED: 'tailed',
- LOOPED: 'looped',
- STRETCHED: 'stretched',
- CALLIGRAPHIC: '-tex-calligraphic',
- BOLDCALLIGRAPHIC: '-tex-bold-calligraphic',
- OLDSTYLE: '-tex-oldstyle',
- BOLDOLDSTYLE: '-tex-bold-oldstyle',
- MATHITALIC: '-tex-mathit'
- };
- TexConstant.Form = {
- PREFIX: 'prefix',
- INFIX: 'infix',
- POSTFIX: 'postfix'
- };
- TexConstant.LineBreak = {
- AUTO: 'auto',
- NEWLINE: 'newline',
- NOBREAK: 'nobreak',
- GOODBREAK: 'goodbreak',
- BADBREAK: 'badbreak'
- };
- TexConstant.LineBreakStyle = {
- BEFORE: 'before',
- AFTER: 'after',
- DUPLICATE: 'duplicate',
- INFIXLINBREAKSTYLE: 'infixlinebreakstyle'
- };
- TexConstant.IndentAlign = {
- LEFT: 'left',
- CENTER: 'center',
- RIGHT: 'right',
- AUTO: 'auto',
- ID: 'id',
- INDENTALIGN: 'indentalign'
- };
- TexConstant.IndentShift = {
- INDENTSHIFT: 'indentshift'
- };
- TexConstant.LineThickness = {
- THIN: 'thin',
- MEDIUM: 'medium',
- THICK: 'thick'
- };
- TexConstant.Notation = {
- LONGDIV: 'longdiv',
- ACTUARIAL: 'actuarial',
- PHASORANGLE: 'phasorangle',
- RADICAL: 'radical',
- BOX: 'box',
- ROUNDEDBOX: 'roundedbox',
- CIRCLE: 'circle',
- LEFT: 'left',
- RIGHT: 'right',
- TOP: 'top',
- BOTTOM: 'bottom',
- UPDIAGONALSTRIKE: 'updiagonalstrike',
- DOWNDIAGONALSTRIKE: 'downdiagonalstrike',
- VERTICALSTRIKE: 'verticalstrike',
- HORIZONTALSTRIKE: 'horizontalstrike',
- NORTHEASTARROW: 'northeastarrow',
- MADRUWB: 'madruwb',
- UPDIAGONALARROW: 'updiagonalarrow'
- };
- TexConstant.Align = {
- TOP: 'top',
- BOTTOM: 'bottom',
- CENTER: 'center',
- BASELINE: 'baseline',
- AXIS: 'axis',
- LEFT: 'left',
- RIGHT: 'right'
- };
- TexConstant.Lines = {
- NONE: 'none',
- SOLID: 'solid',
- DASHED: 'dashed'
- };
- TexConstant.Side = {
- LEFT: 'left',
- RIGHT: 'right',
- LEFTOVERLAP: 'leftoverlap',
- RIGHTOVERLAP: 'rightoverlap'
- };
- TexConstant.Width = {
- AUTO: 'auto',
- FIT: 'fit'
- };
- TexConstant.Actiontype = {
- TOGGLE: 'toggle',
- STATUSLINE: 'statusline',
- TOOLTIP: 'tooltip',
- INPUT: 'input'
- };
- TexConstant.Overflow = {
- LINBREAK: 'linebreak',
- SCROLL: 'scroll',
- ELIDE: 'elide',
- TRUNCATE: 'truncate',
- SCALE: 'scale'
- };
- TexConstant.Unit = {
- EM: 'em',
- EX: 'ex',
- PX: 'px',
- IN: 'in',
- CM: 'cm',
- MM: 'mm',
- PT: 'pt',
- PC: 'pc'
- };
- })(TexConstant = exports.TexConstant || (exports.TexConstant = {}));
- //# sourceMappingURL=TexConstants.js.map
|