diff options
author | 2021-08-22 19:54:51 +0200 | |
---|---|---|
committer | 2021-08-22 19:54:51 +0200 | |
commit | 8cbf8fdcfdceab8a330bdc82e4260a55c125c37d (patch) | |
tree | 0354dcc6ce0704fc953e7665ecfcc700609549a2 /language-web/src/main/js/xtext | |
parent | Bump Material-UI version (diff) | |
download | refinery-8cbf8fdcfdceab8a330bdc82e4260a55c125c37d.tar.gz refinery-8cbf8fdcfdceab8a330bdc82e4260a55c125c37d.tar.zst refinery-8cbf8fdcfdceab8a330bdc82e4260a55c125c37d.zip |
Covert language-web to TypeScript
Diffstat (limited to 'language-web/src/main/js/xtext')
-rw-r--r-- | language-web/src/main/js/xtext/xtext-codemirror.d.ts | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/language-web/src/main/js/xtext/xtext-codemirror.d.ts b/language-web/src/main/js/xtext/xtext-codemirror.d.ts new file mode 100644 index 00000000..fff850b8 --- /dev/null +++ b/language-web/src/main/js/xtext/xtext-codemirror.d.ts | |||
@@ -0,0 +1,43 @@ | |||
1 | import { Editor } from 'codemirror'; | ||
2 | |||
3 | export function createEditor(options: IXtextOptions): IXtextCodeMirrorEditor; | ||
4 | |||
5 | export function createServices(editor: Editor, options: IXtextOptions): IXtextServices; | ||
6 | |||
7 | export function removeServices(editor: Editor): void; | ||
8 | |||
9 | export interface IXtextOptions { | ||
10 | baseUrl?: string; | ||
11 | contentType?: string; | ||
12 | dirtyElement?: string | Element; | ||
13 | dirtyStatusClass?: string; | ||
14 | document?: Document; | ||
15 | enableContentAssistService?: boolean; | ||
16 | enableCors?: boolean; | ||
17 | enableFormattingAction?: boolean; | ||
18 | enableFormattingService?: boolean; | ||
19 | enableGeneratorService?: boolean; | ||
20 | enableHighlightingService?: boolean; | ||
21 | enableOccurrencesService?: boolean; | ||
22 | enableSaveAction?: boolean; | ||
23 | enableValidationService?: boolean; | ||
24 | loadFromServer?: boolean; | ||
25 | mode?: string; | ||
26 | parent?: string | Element; | ||
27 | parentClass?: string; | ||
28 | resourceId?: string; | ||
29 | selectionUpdateDelay?: number; | ||
30 | sendFullText?: boolean; | ||
31 | serviceUrl?: string; | ||
32 | showErrorDialogs?: boolean; | ||
33 | syntaxDefinition?: string; | ||
34 | textUpdateDelay?: number; | ||
35 | xtextLang?: string; | ||
36 | } | ||
37 | |||
38 | export interface IXtextCodeMirrorEditor extends Editor { | ||
39 | xtextServices: IXtextServices; | ||
40 | } | ||
41 | |||
42 | export interface IXtextServices { | ||
43 | } | ||