@impermeable/waterproof-editor 0.11.0 → 0.12.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.
- package/dist/codeview/nodeview.d.ts +6 -6
- package/dist/codeview/nodeview.d.ts.map +1 -1
- package/dist/editor.d.ts.map +1 -1
- package/dist/embedded-codemirror/embedded-codemirror-keymap.d.ts +1 -1
- package/dist/embedded-codemirror/embedded-codemirror-keymap.d.ts.map +1 -1
- package/dist/index.js +61 -61
- package/package.json +1 -1
- package/dist/DEBUG.d.ts +0 -1
- package/dist/DEBUG.d.ts.map +0 -1
- package/dist/codeview/lang-pack/test.d.ts +0 -2
- package/dist/codeview/lang-pack/test.d.ts.map +0 -1
- package/dist/commands/utils.d.ts +0 -14
- package/dist/commands/utils.d.ts.map +0 -1
- package/dist/mapping/Tree.d.ts +0 -75
- package/dist/mapping/Tree.d.ts.map +0 -1
- package/dist/mapping/helper-functions.d.ts +0 -4
- package/dist/mapping/helper-functions.d.ts.map +0 -1
- package/dist/mapping/index.d.ts +0 -4
- package/dist/mapping/index.d.ts.map +0 -1
- package/dist/mapping/newmapping.d.ts +0 -62
- package/dist/mapping/newmapping.d.ts.map +0 -1
- package/dist/mapping/nodeUpdate.d.ts +0 -27
- package/dist/mapping/nodeUpdate.d.ts.map +0 -1
- package/dist/mapping/textUpdate.d.ts +0 -8
- package/dist/mapping/textUpdate.d.ts.map +0 -1
- package/dist/mapping/types.d.ts +0 -22
- package/dist/mapping/types.d.ts.map +0 -1
- package/dist/markdown-defaults/index.d.ts +0 -4
- package/dist/markdown-defaults/index.d.ts.map +0 -1
- package/dist/markdown-defaults/markdownDefaults.d.ts +0 -9
- package/dist/markdown-defaults/markdownDefaults.d.ts.map +0 -1
- package/dist/markdown-defaults/statemachine.d.ts +0 -14
- package/dist/markdown-defaults/statemachine.d.ts.map +0 -1
- package/dist/markdownDefaults.d.ts +0 -9
- package/dist/markdownDefaults.d.ts.map +0 -1
- package/dist/markup-views/SwitchableViewPlugin.d.ts +0 -22
- package/dist/markup-views/SwitchableViewPlugin.d.ts.map +0 -1
- package/dist/serialization/DocumentSerializer.d.ts +0 -89
- package/dist/serialization/DocumentSerializer.d.ts.map +0 -1
- package/dist/themeStore.d.ts +0 -4
- package/dist/themeStore.d.ts.map +0 -1
- package/dist/translation/toMarkdownTranslation.d.ts +0 -3
- package/dist/translation/toMarkdownTranslation.d.ts.map +0 -1
- package/dist/translation/toMathInline.d.ts +0 -2
- package/dist/translation/toMathInline.d.ts.map +0 -1
|
@@ -43,12 +43,12 @@ export declare class CodeBlockView extends EmbeddedCodeMirrorEditor {
|
|
|
43
43
|
*/
|
|
44
44
|
dynamicCompletionSource: CompletionSource;
|
|
45
45
|
/**
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
46
|
+
* Add a new coq error to this view
|
|
47
|
+
* @param from The from position of the error.
|
|
48
|
+
* @param to The to postion of the error (should be larger than `from`).
|
|
49
|
+
* @param message The message attached to this error.
|
|
50
|
+
* @param severity The severity attached to this error.
|
|
51
|
+
*/
|
|
52
52
|
addCoqError(from: number, to: number, message: string, severity: number): void;
|
|
53
53
|
private showCopyNotification;
|
|
54
54
|
/**
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"nodeview.d.ts","sourceRoot":"","sources":["../../src/codeview/nodeview.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAuC,gBAAgB,
|
|
1
|
+
{"version":3,"file":"nodeview.d.ts","sourceRoot":"","sources":["../../src/codeview/nodeview.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAuC,gBAAgB,EAA+L,MAAM,0BAA0B,CAAC;AAQ1S,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAG7C,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAIlE,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAEpC;;;;GAIG;AACH,qBAAa,aAAc,SAAQ,wBAAwB;IAC1D,GAAG,EAAE,WAAW,CAAC;IAEjB,OAAO,CAAC,sBAAsB,CAAc;IAC5C,OAAO,CAAC,qBAAqB,CAAY;IACzC,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,oBAAoB,CAAc;IAC1C,OAAO,CAAC,iBAAiB,CAAc;IACvC,OAAO,CAAC,MAAM,CAAgB;IAC9B,OAAO,CAAC,SAAS,CAAY;gBAG5B,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAC9B,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,EAC1B,iBAAiB,EAAE,UAAU;IAsO9B,OAAO,CAAC,eAAe;IAWhB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,EAAG,UAAU,GAAG,SAAS;IAQ3G,OAAO,CAAC,eAAe,CAEtB;IAED;;OAEG;IACH,iBAAiB,IAAI,IAAI;IASzB;;OAEG;IACI,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAQrD;;OAEG;IACH,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAG,IAAI;IAWlE;;OAEG;IACH,iBAAiB,CAAC,cAAc,EAAE,UAAU,EAAE,GAAG,IAAI;IAIrD;;;OAGG;IACH,uBAAuB,EAAE,gBAAgB,CAYvC;IAEF;;;;;;OAMG;IACI,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM;IA0E9E,OAAO,CAAC,oBAAoB;IAyB5B;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAM1B;;OAEG;IACI,cAAc;CAIrB"}
|
package/dist/editor.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../src/editor.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAU,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAgB,WAAW,EAAiB,MAAM,EAAE,SAAS,EAA8B,MAAM,mBAAmB,CAAC;AAM5H,OAAO,EAAa,UAAU,EAAE,eAAe,EAAE,oBAAoB,EAAqB,aAAa,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAC;AAcjI,OAAO,0BAA0B,CAAC;AAClC,OAAO,wCAAwC,CAAC;AAChD,OAAO,UAAU,CAAC;AAKlB,OAAO,EAAiC,sBAAsB,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,OAAO,CAAC;AAC7G,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAC;AAErC,iGAAiG;AACjG,KAAK,qBAAqB,GAAG;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC;AAEvI;;GAEG;AACH,qBAAa,gBAAgB;IA+B6C,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IA7B3G,OAAO,CAAC,aAAa,CAAyB;IAG9C,OAAO,CAAC,OAAO,CAAS;IAGxB,OAAO,CAAC,WAAW,CAAc;IAGjC,OAAO,CAAC,KAAK,CAAyB;IAGtC,OAAO,CAAC,WAAW,CAA6B;IAGhD,OAAO,CAAC,QAAQ,CAAgC;IAGhD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAEzB,OAAO,CAAC,uBAAuB,CAA+B;IAE9D,OAAO,CAAC,iBAAiB,CAAkB;IAE3C;;;;OAIG;gBACU,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,sBAAsB,EAAmB,iBAAiB,EAAE,UAAU;IAuCvH,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IA6CzC,IAAI,KAAK,IAAI,WAAW,GAAG,SAAS,CAEnC;IAED,uBAAuB,CAAC,QAAQ,EAAE,SAAS;
|
|
1
|
+
{"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../src/editor.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAU,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAgB,WAAW,EAAiB,MAAM,EAAE,SAAS,EAA8B,MAAM,mBAAmB,CAAC;AAM5H,OAAO,EAAa,UAAU,EAAE,eAAe,EAAE,oBAAoB,EAAqB,aAAa,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAC;AAcjI,OAAO,0BAA0B,CAAC;AAClC,OAAO,wCAAwC,CAAC;AAChD,OAAO,UAAU,CAAC;AAKlB,OAAO,EAAiC,sBAAsB,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,OAAO,CAAC;AAC7G,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAC;AAErC,iGAAiG;AACjG,KAAK,qBAAqB,GAAG;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC;AAEvI;;GAEG;AACH,qBAAa,gBAAgB;IA+B6C,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IA7B3G,OAAO,CAAC,aAAa,CAAyB;IAG9C,OAAO,CAAC,OAAO,CAAS;IAGxB,OAAO,CAAC,WAAW,CAAc;IAGjC,OAAO,CAAC,KAAK,CAAyB;IAGtC,OAAO,CAAC,WAAW,CAA6B;IAGhD,OAAO,CAAC,QAAQ,CAAgC;IAGhD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAEzB,OAAO,CAAC,uBAAuB,CAA+B;IAE9D,OAAO,CAAC,iBAAiB,CAAkB;IAE3C;;;;OAIG;gBACU,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,sBAAsB,EAAmB,iBAAiB,EAAE,UAAU;IAuCvH,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IA6CzC,IAAI,KAAK,IAAI,WAAW,GAAG,SAAS,CAEnC;IAED,uBAAuB,CAAC,QAAQ,EAAE,SAAS;IAkF3C,uCAAuC;IACvC,WAAW,CAAC,QAAQ,EAAE,SAAS,GAAG,WAAW;IAQ7C,iEAAiE;IACjE,kBAAkB,IAAI,MAAM,EAAE;IAgCvB,oBAAoB,CAAC,KAAK,EAAE,UAAU;IAa7C;;;OAGG;IACI,aAAa,CAAC,QAAQ,EAAE,MAAM;IAiCrC,wCAAwC;IACjC,YAAY,CAAC,GAAG,EAAE,SAAS,GAAI,IAAI;IAO1C,gFAAgF;IACzE,eAAe;IAiBrB,OAAO,CAAC,sBAAsB;IAyE/B;;;OAGG;IACI,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;IAUvD,+GAA+G;IACxG,cAAc,CAAC,GAAG,EAAE,UAAU;IAUrC;;;OAGG;IACI,mBAAmB,CAAC,IAAI,EAAE,aAAa;IAOtC,YAAY,CAAC,WAAW,EAAE,MAAM;IAqCxC;;;;;OAKG;IACI,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO;IAmDnD;;;OAGG;IACI,kBAAkB,CAAC,IAAI,EAAE,OAAO;IAUvC;;;OAGG;IACI,gBAAgB,CAAC,IAAI,EAAE,OAAO;IAQrC,OAAO,CAAC,qCAAqC;IAO7C;;;;OAIG;IACI,kBAAkB,CAAC,SAAS,EAAE,OAAO,GAAI,IAAI;IAQpD;;;;OAIG;IACI,iBAAiB,CAAC,cAAc,EAAE,oBAAoB,GAAG,IAAI;IAS7D,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAI,IAAI;IAQtD;;;;OAIG;IACI,eAAe,CAAC,MAAM,EAAE,eAAe,EAAE,GAAI,IAAI;IAQxD;;;;OAIG;IACI,mBAAmB,CAAC,GAAG,EAAE,iBAAiB;IA8D1C,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAO3G,cAAc,CAAC,OAAO,EAAE,MAAM;IAI9B,WAAW;CAGlB"}
|
|
@@ -1,9 +1,9 @@
|
|
|
1
1
|
import { KeyBinding } from "@codemirror/view";
|
|
2
2
|
import { StateCommand } from "@codemirror/state";
|
|
3
|
+
export declare const indentMoreCustom: StateCommand;
|
|
3
4
|
/**
|
|
4
5
|
* Filtered set of keybindings taken from
|
|
5
6
|
* https://github.com/codemirror/commands/blob/e27916c9b09d2cedd7e0c9770bff04eeb3696e69/src/commands.ts#L878
|
|
6
7
|
*/
|
|
7
8
|
export declare const keybindings: KeyBinding[];
|
|
8
|
-
export declare const indentMoreCustom: StateCommand;
|
|
9
9
|
//# sourceMappingURL=embedded-codemirror-keymap.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"embedded-codemirror-keymap.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/embedded-codemirror-keymap.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;
|
|
1
|
+
{"version":3,"file":"embedded-codemirror-keymap.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/embedded-codemirror-keymap.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAe,YAAY,EAAqD,MAAM,mBAAmB,CAAA;AAgBhH,eAAO,MAAM,gBAAgB,EAAE,YAM9B,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE,UAAU,EA2CnC,CAAA"}
|