@worktile/theia 19.0.5 → 19.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -25,6 +25,12 @@ export declare enum ElementKinds {
25
25
  inlineCode = "inline-code",
26
26
  indent = "indent"
27
27
  }
28
+ export declare const HeaderLevelMap: {
29
+ "heading-one": number;
30
+ "heading-two": number;
31
+ "heading-three": number;
32
+ "heading-four": number;
33
+ };
28
34
  export declare enum Alignment {
29
35
  left = "left",
30
36
  center = "center",
package/custom-types.d.ts CHANGED
@@ -40,22 +40,26 @@ export interface TodoItemElement extends TheElement {
40
40
  type: ElementKinds.checkItem;
41
41
  checked: boolean;
42
42
  }
43
- export interface HeadingOneElement extends TheElement {
43
+ export interface HeadingElement extends TheElement {
44
+ type: ElementKinds.heading_1 | ElementKinds.heading_2 | ElementKinds.heading_3 | ElementKinds.heading_4 | ElementKinds.heading_5 | ElementKinds.heading_6;
45
+ isCollapsed?: boolean;
46
+ }
47
+ export interface HeadingOneElement extends HeadingElement {
44
48
  type: ElementKinds.heading_1;
45
49
  }
46
- export interface HeadingTwoElement extends TheElement {
50
+ export interface HeadingTwoElement extends HeadingElement {
47
51
  type: ElementKinds.heading_2;
48
52
  }
49
- export interface HeadingThreeElement extends TheElement {
53
+ export interface HeadingThreeElement extends HeadingElement {
50
54
  type: ElementKinds.heading_3;
51
55
  }
52
- export interface HeadingFourElement extends TheElement {
56
+ export interface HeadingFourElement extends HeadingElement {
53
57
  type: ElementKinds.heading_4;
54
58
  }
55
- export interface HeadingFiveElement extends TheElement {
59
+ export interface HeadingFiveElement extends HeadingElement {
56
60
  type: ElementKinds.heading_5;
57
61
  }
58
- export interface HeadingSixElement extends TheElement {
62
+ export interface HeadingSixElement extends HeadingElement {
59
63
  type: ElementKinds.heading_6;
60
64
  }
61
65
  export interface ImageElement extends TheElement {