TexConstants.d.ts 2.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128
  1. export declare namespace TexConstant {
  2. const Variant: {
  3. NORMAL: string;
  4. BOLD: string;
  5. ITALIC: string;
  6. BOLDITALIC: string;
  7. DOUBLESTRUCK: string;
  8. FRAKTUR: string;
  9. BOLDFRAKTUR: string;
  10. SCRIPT: string;
  11. BOLDSCRIPT: string;
  12. SANSSERIF: string;
  13. BOLDSANSSERIF: string;
  14. SANSSERIFITALIC: string;
  15. SANSSERIFBOLDITALIC: string;
  16. MONOSPACE: string;
  17. INITIAL: string;
  18. TAILED: string;
  19. LOOPED: string;
  20. STRETCHED: string;
  21. CALLIGRAPHIC: string;
  22. BOLDCALLIGRAPHIC: string;
  23. OLDSTYLE: string;
  24. BOLDOLDSTYLE: string;
  25. MATHITALIC: string;
  26. };
  27. const Form: {
  28. PREFIX: string;
  29. INFIX: string;
  30. POSTFIX: string;
  31. };
  32. const LineBreak: {
  33. AUTO: string;
  34. NEWLINE: string;
  35. NOBREAK: string;
  36. GOODBREAK: string;
  37. BADBREAK: string;
  38. };
  39. const LineBreakStyle: {
  40. BEFORE: string;
  41. AFTER: string;
  42. DUPLICATE: string;
  43. INFIXLINBREAKSTYLE: string;
  44. };
  45. const IndentAlign: {
  46. LEFT: string;
  47. CENTER: string;
  48. RIGHT: string;
  49. AUTO: string;
  50. ID: string;
  51. INDENTALIGN: string;
  52. };
  53. const IndentShift: {
  54. INDENTSHIFT: string;
  55. };
  56. const LineThickness: {
  57. THIN: string;
  58. MEDIUM: string;
  59. THICK: string;
  60. };
  61. const Notation: {
  62. LONGDIV: string;
  63. ACTUARIAL: string;
  64. PHASORANGLE: string;
  65. RADICAL: string;
  66. BOX: string;
  67. ROUNDEDBOX: string;
  68. CIRCLE: string;
  69. LEFT: string;
  70. RIGHT: string;
  71. TOP: string;
  72. BOTTOM: string;
  73. UPDIAGONALSTRIKE: string;
  74. DOWNDIAGONALSTRIKE: string;
  75. VERTICALSTRIKE: string;
  76. HORIZONTALSTRIKE: string;
  77. NORTHEASTARROW: string;
  78. MADRUWB: string;
  79. UPDIAGONALARROW: string;
  80. };
  81. const Align: {
  82. TOP: string;
  83. BOTTOM: string;
  84. CENTER: string;
  85. BASELINE: string;
  86. AXIS: string;
  87. LEFT: string;
  88. RIGHT: string;
  89. };
  90. const Lines: {
  91. NONE: string;
  92. SOLID: string;
  93. DASHED: string;
  94. };
  95. const Side: {
  96. LEFT: string;
  97. RIGHT: string;
  98. LEFTOVERLAP: string;
  99. RIGHTOVERLAP: string;
  100. };
  101. const Width: {
  102. AUTO: string;
  103. FIT: string;
  104. };
  105. const Actiontype: {
  106. TOGGLE: string;
  107. STATUSLINE: string;
  108. TOOLTIP: string;
  109. INPUT: string;
  110. };
  111. const Overflow: {
  112. LINBREAK: string;
  113. SCROLL: string;
  114. ELIDE: string;
  115. TRUNCATE: string;
  116. SCALE: string;
  117. };
  118. const Unit: {
  119. EM: string;
  120. EX: string;
  121. PX: string;
  122. IN: string;
  123. CM: string;
  124. MM: string;
  125. PT: string;
  126. PC: string;
  127. };
  128. }