diff options
Diffstat (limited to 'language-web/src/main/js/editor')
-rw-r--r-- | language-web/src/main/js/editor/EditorArea.tsx | 4 | ||||
-rw-r--r-- | language-web/src/main/js/editor/EditorStore.ts | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/language-web/src/main/js/editor/EditorArea.tsx b/language-web/src/main/js/editor/EditorArea.tsx index 7b6201ed..678a632d 100644 --- a/language-web/src/main/js/editor/EditorArea.tsx +++ b/language-web/src/main/js/editor/EditorArea.tsx | |||
@@ -10,10 +10,10 @@ import React, { | |||
10 | } from 'react'; | 10 | } from 'react'; |
11 | 11 | ||
12 | import { EditorParent } from './EditorParent'; | 12 | import { EditorParent } from './EditorParent'; |
13 | import { getLogger } from '../logging'; | ||
14 | import { useRootStore } from '../RootStore'; | 13 | import { useRootStore } from '../RootStore'; |
14 | import { getLogger } from '../utils/logger'; | ||
15 | 15 | ||
16 | const log = getLogger('EditorArea'); | 16 | const log = getLogger('editor.EditorArea'); |
17 | 17 | ||
18 | function usePanel( | 18 | function usePanel( |
19 | panelId: string, | 19 | panelId: string, |
diff --git a/language-web/src/main/js/editor/EditorStore.ts b/language-web/src/main/js/editor/EditorStore.ts index be9295bf..78cf763c 100644 --- a/language-web/src/main/js/editor/EditorStore.ts +++ b/language-web/src/main/js/editor/EditorStore.ts | |||
@@ -43,11 +43,11 @@ import { | |||
43 | } from 'mobx'; | 43 | } from 'mobx'; |
44 | 44 | ||
45 | import { problemLanguageSupport } from '../language/problemLanguageSupport'; | 45 | import { problemLanguageSupport } from '../language/problemLanguageSupport'; |
46 | import { getLogger } from '../logging'; | 46 | import { getLogger } from '../utils/logger'; |
47 | import type { ThemeStore } from '../theme/ThemeStore'; | 47 | import type { ThemeStore } from '../theme/ThemeStore'; |
48 | import { XtextClient } from '../xtext/XtextClient'; | 48 | import { XtextClient } from '../xtext/XtextClient'; |
49 | 49 | ||
50 | const log = getLogger('EditorStore'); | 50 | const log = getLogger('editor.EditorStore'); |
51 | 51 | ||
52 | export class EditorStore { | 52 | export class EditorStore { |
53 | themeStore; | 53 | themeStore; |