|
298d2c1c86
|
refactor(WorkspaceEditorHeader): remove unused props and simplify component
|
2025-03-20 13:30:42 +08:00 |
|
|
6bd3a44d8d
|
refactor(language-selector): update to use useProblemEditor hook
|
2025-03-20 13:25:47 +08:00 |
|
|
4dc3b44bf0
|
feat(workspace-editor): add languageServerConfigs support to WorkspaceEditorHeader
|
2025-03-16 16:06:33 +08:00 |
|
|
004bdb510b
|
feat(language-selector): update to support multiple language server configurations
|
2025-03-16 15:59:59 +08:00 |
|
|
ee4020f50f
|
feat(workspace): pass editorLanguageConfigs to LanguageSelector and WorkspaceEditorHeader
|
2025-03-16 14:18:14 +08:00 |
|
|
b0e00e7d69
|
feat(language-selector): integrate icons for languages in language selector
|
2025-03-16 13:33:16 +08:00 |
|
|
d1188f5ea6
|
chore(components): move features to components/features
|
2025-03-16 12:05:59 +08:00 |
|