@xcanwin/manyoyo 5.9.2 → 5.9.11

package/lib/web/frontend/app.js

@@ -57,8 +57,10 @@
         configSaveMessage: '',
         createLoading: false,
         createSubmitting: false,
+        creatingAgent: false,
         agentTemplateSaving: false,
         configSnapshot: null,
+        configEditor: null,
         sessionDetail: null,
         sessionDetailError: '',
         sessionDetailRequestId: 0,
@@ -81,6 +83,8 @@
             title: '',
             tip: '',
             currentPath: '',
+            pathDraft: '',
+            parentPath: '',
             entries: [],
             error: ''
         },
@@ -131,6 +135,7 @@
     const sidebarBackdrop = document.getElementById('sidebarBackdrop');
     const openConfigBtn = document.getElementById('openConfigBtn');
     const openCreateBtn = document.getElementById('openCreateBtn');
+    const openCreateMenuBtn = document.getElementById('openCreateMenuBtn');
     const configModal = document.getElementById('configModal');
     const configModalTitle = document.getElementById('configModalTitle');
     const configPath = document.getElementById('configPath');
@@ -165,11 +170,13 @@
     const directoryPickerModal = document.getElementById('directoryPickerModal');
     const directoryPickerTitle = document.getElementById('directoryPickerTitle');
     const directoryPickerTip = document.getElementById('directoryPickerTip');
-    const directoryPickerCurrent = document.getElementById('directoryPickerCurrent');
+    const directoryPickerPathInput = document.getElementById('directoryPickerPathInput');
+    const directoryPickerVisitBtn = document.getElementById('directoryPickerVisitBtn');
+    const directoryPickerStatus = document.getElementById('directoryPickerStatus');
+    const directoryPickerMkdirBtn = document.getElementById('directoryPickerMkdirBtn');
     const directoryPickerList = document.getElementById('directoryPickerList');
     const directoryPickerError = document.getElementById('directoryPickerError');
     const directoryPickerCancelBtn = document.getElementById('directoryPickerCancelBtn');
-    const directoryPickerUpBtn = document.getElementById('directoryPickerUpBtn');
     const directoryPickerSelectBtn = document.getElementById('directoryPickerSelectBtn');
     const activeTitle = document.getElementById('activeTitle');
     const activeMeta = document.getElementById('activeMeta');
@@ -808,6 +815,70 @@
         directoryPickerError.textContent = text;
     }
 
+    function ensureConfigCodeEditor() {
+        if (!configEditor || state.configEditor || !window.ManyoyoCodeEditor || typeof window.ManyoyoCodeEditor.create !== 'function') {
+            return state.configEditor;
+        }
+        state.configEditor = window.ManyoyoCodeEditor.create(configEditor, {
+            doc: '',
+            language: 'javascript',
+            readOnly: true,
+            onChange: function () {
+                if (!state.configSaveMessage) {
+                    return;
+                }
+                state.configSaveMessage = '';
+                showConfigStatus('');
+            }
+        });
+        return state.configEditor;
+    }
+
+    function setConfigEditorValue(value, readOnly) {
+        const text = String(value == null ? '' : value);
+        const editor = ensureConfigCodeEditor();
+        if (editor) {
+            editor.setValue(text);
+            editor.setLanguage('javascript');
+            editor.setReadOnly(readOnly !== false);
+            return;
+        }
+        if ('value' in configEditor) {
+            configEditor.value = text;
+            configEditor.readOnly = readOnly !== false;
+        } else {
+            configEditor.textContent = text;
+        }
+    }
+
+    function getConfigEditorValue() {
+        const editor = ensureConfigCodeEditor();
+        if (editor) {
+            return editor.getValue();
+        }
+        if ('value' in configEditor) {
+            return configEditor.value || '';
+        }
+        return configEditor && configEditor.textContent ? configEditor.textContent : '';
+    }
+
+    function setDirectoryPickerStatus(message) {
+        if (!directoryPickerStatus) return;
+        directoryPickerStatus.textContent = String(message || '').trim() || '未加载';
+    }
+
+    function joinDirectoryPath(basePath, childName) {
+        const base = String(basePath || '/').trim() || '/';
+        const child = String(childName || '').trim();
+        if (!child) {
+            return base;
+        }
+        if (base === '/') {
+            return '/' + child.replace(/^\/+/, '');
+        }
+        return base.replace(/\/+$/, '') + '/' + child.replace(/^\/+/, '');
+    }
+
     function envMapToText(envMap) {
         if (!envMap || typeof envMap !== 'object') {
             return '';
@@ -2193,10 +2264,11 @@
         }
 
         const activeAgentRunning = isAgentRunActiveForSession(state.active) || hasPendingAgentMessagesForSession(state.active);
-        const busy = state.loadingSessions || state.loadingMessages || state.sending;
+        const busy = state.loadingSessions || state.loadingMessages || state.sending || state.creatingAgent;
         refreshBtn.disabled = busy;
         if (addAgentBtn) {
             addAgentBtn.disabled = !state.active || busy;
+            addAgentBtn.textContent = state.creatingAgent ? '新建中...' : '新建 AGENT';
         }
         removeBtn.disabled = !state.active || busy;
         removeAllBtn.disabled = !state.active || busy;
@@ -2221,6 +2293,9 @@
         if (openCreateBtn) {
             openCreateBtn.disabled = state.createLoading || state.createSubmitting;
         }
+        if (openCreateMenuBtn) {
+            openCreateMenuBtn.disabled = state.createLoading || state.createSubmitting;
+        }
         if (openConfigBtn) {
             openConfigBtn.disabled = state.configLoading || state.configSaving;
         }
@@ -2251,6 +2326,9 @@
             if (!state.active) {
                 sendState.textContent = '未选择会话';
                 sendState.classList.remove('is-active');
+            } else if (state.creatingAgent) {
+                sendState.textContent = '正在新建 AGENT…';
+                sendState.classList.add('is-active');
             } else if (activeAgentRunning && agentMode) {
                 sendState.textContent = state.agentRun.stopping ? '正在停止 Agent…' : 'Agent 执行中';
                 sendState.classList.add('is-active');
@@ -2304,6 +2382,8 @@
         );
         if (!state.active) {
             sendState.textContent = '未选择会话';
+        } else if (state.creatingAgent) {
+            sendState.textContent = '正在新建 AGENT…';
         } else if (agentMode && !agentEnabled) {
             sendState.textContent = '当前会话未配置 AGENT 模板';
         } else if (state.sending) {
@@ -2313,7 +2393,7 @@
         } else {
             sendState.textContent = '就绪';
         }
-        sendState.classList.toggle('is-active', state.sending);
+        sendState.classList.toggle('is-active', state.sending || state.creatingAgent);
         if (composer) {
             composer.hidden = !activityTab;
         }
@@ -2437,8 +2517,7 @@
             configPath.textContent = lines.filter(Boolean).join('\n');
         }
         if (configEditor) {
-            configEditor.readOnly = config.editable === false;
-            configEditor.value = typeof config.raw === 'string' ? config.raw : '';
+            setConfigEditorValue(typeof config.raw === 'string' ? config.raw : '', config.editable === false);
         }
     }
 
@@ -2482,7 +2561,7 @@
         try {
             await api('/api/config', {
                 method: 'PUT',
-                body: JSON.stringify({ raw: configEditor.value || '' })
+                body: JSON.stringify({ raw: getConfigEditorValue() })
             });
             const config = await fetchConfigSnapshot();
             renderConfigModalSnapshot(config);
@@ -2542,39 +2621,73 @@
         if (directoryPickerTip) {
             directoryPickerTip.textContent = picker.tip || '';
         }
-        if (directoryPickerCurrent) {
-            directoryPickerCurrent.textContent = picker.currentPath || '未选择目录';
+        if (directoryPickerPathInput) {
+            directoryPickerPathInput.value = picker.pathDraft || picker.currentPath || '/';
         }
         showDirectoryPickerError(picker.error);
-        if (directoryPickerUpBtn) {
-            directoryPickerUpBtn.disabled = picker.loading || !picker.currentPath || !picker.parentPath;
+        if (directoryPickerVisitBtn) {
+            directoryPickerVisitBtn.disabled = picker.loading || !(picker.pathDraft || picker.currentPath);
+        }
+        if (directoryPickerMkdirBtn) {
+            directoryPickerMkdirBtn.disabled = picker.loading || !picker.currentPath;
         }
         if (directoryPickerSelectBtn) {
             directoryPickerSelectBtn.disabled = picker.loading || !picker.currentPath;
         }
+        if (picker.loading) {
+            setDirectoryPickerStatus('读取目录中');
+        } else if (picker.entries.length) {
+            setDirectoryPickerStatus('共 ' + picker.entries.length + ' 项');
+        } else if (picker.currentPath) {
+            setDirectoryPickerStatus('共 0 项');
+        } else {
+            setDirectoryPickerStatus('未加载');
+        }
         if (!directoryPickerList) {
             return;
         }
         directoryPickerList.innerHTML = '';
         if (picker.loading) {
             const loading = document.createElement('div');
-            loading.className = 'empty';
+            loading.className = 'files-empty';
             loading.textContent = '目录加载中...';
             directoryPickerList.appendChild(loading);
             return;
         }
+        if (picker.parentPath) {
+            const parentButton = document.createElement('button');
+            parentButton.type = 'button';
+            parentButton.className = 'files-entry files-entry-parent';
+            parentButton.title = picker.parentPath;
+            parentButton.innerHTML = `
+                <span class="files-entry-name">
+                    <span class="files-entry-title">..</span>
+                </span>
+                <span class="files-entry-meta">上一级</span>
+            `;
+            parentButton.addEventListener('click', function () {
+                loadDirectoryPicker(picker.parentPath);
+            });
+            directoryPickerList.appendChild(parentButton);
+        }
         if (!picker.entries.length) {
             const empty = document.createElement('div');
-            empty.className = 'empty';
-            empty.textContent = '当前目录下没有可选子目录';
+            empty.className = 'files-empty';
+            empty.innerHTML = '&nbsp;';
             directoryPickerList.appendChild(empty);
             return;
         }
         picker.entries.forEach(function (entry) {
             const btn = document.createElement('button');
             btn.type = 'button';
-            btn.className = 'dir-picker-item secondary';
-            btn.textContent = entry.name;
+            btn.className = 'files-entry';
+            btn.title = String(entry.path || entry.name || '');
+            btn.innerHTML = `
+                <span class="files-entry-name">
+                    <span class="files-entry-title">${escapeHtml(entry.name || entry.path || '未命名')}</span>
+                </span>
+                <span class="files-entry-meta">目录</span>
+            `;
             btn.addEventListener('click', function () {
                 loadDirectoryPicker(entry.path);
             });
@@ -2586,15 +2699,15 @@
         const picker = state.directoryPicker;
         picker.loading = true;
         picker.error = '';
-        if (targetPath) {
-            picker.currentPath = targetPath;
-        }
+        const nextPath = String(targetPath || picker.pathDraft || picker.currentPath || '/').trim() || '/';
+        picker.pathDraft = nextPath;
         renderDirectoryPicker();
         try {
             const params = new URLSearchParams();
-            params.set('path', picker.currentPath || '/');
+            params.set('path', nextPath);
             const data = await api('/api/fs/directories?' + params.toString());
-            picker.currentPath = data.currentPath || picker.currentPath;
+            picker.currentPath = data.currentPath || nextPath;
+            picker.pathDraft = picker.currentPath;
             picker.parentPath = data.parentPath || '';
             picker.entries = Array.isArray(data.entries) ? data.entries : [];
         } catch (e) {
@@ -2606,6 +2719,32 @@
         }
     }
 
+    async function createDirectoryInPicker() {
+        const picker = state.directoryPicker;
+        if (picker.loading || !picker.currentPath) {
+            return;
+        }
+        const input = window.prompt('请输入新目录名称');
+        const name = String(input || '').trim();
+        if (!name) {
+            return;
+        }
+        picker.loading = true;
+        picker.error = '';
+        renderDirectoryPicker();
+        try {
+            await api('/api/fs/directories/mkdir', {
+                method: 'POST',
+                body: JSON.stringify({ path: joinDirectoryPath(picker.currentPath, name) })
+            });
+            await loadDirectoryPicker(picker.currentPath);
+        } catch (e) {
+            picker.loading = false;
+            picker.error = e && e.message ? e.message : '创建目录失败';
+            renderDirectoryPicker();
+        }
+    }
+
     function closeDirectoryPicker() {
         state.directoryPicker.open = false;
         state.directoryPicker.loading = false;
@@ -2613,6 +2752,7 @@
         state.directoryPicker.title = '';
         state.directoryPicker.tip = '';
         state.directoryPicker.currentPath = '';
+        state.directoryPicker.pathDraft = '';
         state.directoryPicker.parentPath = '';
         state.directoryPicker.entries = [];
         state.directoryPicker.error = '';
@@ -2640,6 +2780,7 @@
         picker.title = '选择 hostPath';
         picker.tip = '浏览宿主机目录，选中后会回填 create 表单。';
         picker.currentPath = (createHostPath.value || '').trim() || '/';
+        picker.pathDraft = picker.currentPath;
         renderDirectoryPicker();
         loadDirectoryPicker(picker.currentPath);
     }
@@ -2699,6 +2840,11 @@
         if (!targetContainer) {
             return;
         }
+        if (state.creatingAgent) {
+            return;
+        }
+        state.creatingAgent = true;
+        syncUi();
         try {
             const data = await api('/api/sessions/' + encodeURIComponent(targetContainer) + '/agents', {
                 method: 'POST',
@@ -2712,6 +2858,9 @@
             }
         } catch (e) {
             alert(e.message);
+        } finally {
+            state.creatingAgent = false;
+            syncUi();
         }
     }
 
@@ -2755,9 +2904,7 @@
             });
             group.containers.forEach(function (containerGroup) {
                 containerGroup.sessions.sort(function (a, b) {
-                    const timeA = a && a.updatedAt ? new Date(a.updatedAt).getTime() : 0;
-                    const timeB = b && b.updatedAt ? new Date(b.updatedAt).getTime() : 0;
-                    return timeB - timeA;
+                    return compareSessionByCreatedDesc(a, b);
                 });
             });
             return group;
@@ -2772,6 +2919,108 @@
         return (parts || []).filter(Boolean).join(' · ');
     }
 
+    function getSessionCreatedTime(session) {
+        if (session && session.createdAt) {
+            const time = new Date(session.createdAt).getTime();
+            if (Number.isFinite(time)) {
+                return time;
+            }
+        }
+        return 0;
+    }
+
+    function getSessionUpdatedTime(session) {
+        if (session && session.updatedAt) {
+            const time = new Date(session.updatedAt).getTime();
+            if (Number.isFinite(time)) {
+                return time;
+            }
+        }
+        return 0;
+    }
+
+    function getSessionAgentCreationRank(session) {
+        const agentId = session && session.agentId ? String(session.agentId) : '';
+        if (!agentId || agentId === 'default') {
+            return 1;
+        }
+        const matched = agentId.match(/^agent-(\d+)$/);
+        return matched ? (Number(matched[1]) || 0) : 0;
+    }
+
+    function compareSessionByCreatedDesc(a, b) {
+        const createdA = getSessionCreatedTime(a);
+        const createdB = getSessionCreatedTime(b);
+        if (createdA !== createdB) {
+            return createdB - createdA;
+        }
+        if (a && b && a.containerName && a.containerName === b.containerName) {
+            const rankA = getSessionAgentCreationRank(a);
+            const rankB = getSessionAgentCreationRank(b);
+            if (rankA !== rankB) {
+                return rankB - rankA;
+            }
+        }
+        const updatedA = getSessionUpdatedTime(a);
+        const updatedB = getSessionUpdatedTime(b);
+        if (updatedA !== updatedB) {
+            return updatedB - updatedA;
+        }
+        return String((a && a.name) || '').localeCompare(String((b && b.name) || ''), 'zh-CN');
+    }
+
+    function findLatestCreatedSessionName(sessions, preferredContainerName) {
+        const list = Array.isArray(sessions) ? sessions.filter(Boolean) : [];
+        if (!list.length) {
+            return '';
+        }
+        const targetContainer = String(preferredContainerName || '').trim();
+        const scoped = targetContainer
+            ? list.filter(function (session) {
+                return session && session.containerName === targetContainer;
+            })
+            : list;
+        const candidates = scoped.length ? scoped : list;
+        const sorted = candidates.slice().sort(compareSessionByCreatedDesc);
+        return sorted.length && sorted[0] && sorted[0].name ? sorted[0].name : '';
+    }
+
+    function findPreferredSessionNameAfterRemoval(sessions, removedName) {
+        const removedSessionName = String(removedName || '').trim();
+        if (!removedSessionName) {
+            return '';
+        }
+        const removedRef = parseSessionKey(removedSessionName);
+        const remaining = (Array.isArray(sessions) ? sessions : []).filter(function (session) {
+            return session
+                && session.name
+                && session.name !== removedSessionName
+                && session.containerName === removedRef.containerName;
+        });
+        if (!remaining.length) {
+            return '';
+        }
+
+        const removedRank = getSessionAgentCreationRank({ agentId: removedRef.agentId });
+        if (removedRef.agentId && removedRef.agentId !== WEB_DEFAULT_AGENT_ID && removedRank > 0) {
+            const lowerRanked = remaining
+                .filter(function (session) { return getSessionAgentCreationRank(session) < removedRank; })
+                .sort(function (a, b) { return getSessionAgentCreationRank(b) - getSessionAgentCreationRank(a); });
+            if (lowerRanked.length && lowerRanked[0] && lowerRanked[0].name) {
+                return lowerRanked[0].name;
+            }
+
+            const higherRanked = remaining
+                .filter(function (session) { return getSessionAgentCreationRank(session) > removedRank; })
+                .sort(function (a, b) { return getSessionAgentCreationRank(a) - getSessionAgentCreationRank(b); });
+            if (higherRanked.length && higherRanked[0] && higherRanked[0].name) {
+                return higherRanked[0].name;
+            }
+        }
+
+        return findLatestCreatedSessionName(remaining, removedRef.containerName);
+    }
+
     function createDisclosureButton(expanded, label) {
         const button = document.createElement('button');
         button.type = 'button';
@@ -2916,7 +3165,7 @@
                     const addAgentBtn = document.createElement('button');
                     addAgentBtn.type = 'button';
                     addAgentBtn.className = 'secondary tree-node-menu-item';
-                    addAgentBtn.textContent = '新建AGENT';
+                    addAgentBtn.textContent = '新建 AGENT';
                     addAgentBtn.addEventListener('click', function (event) {
                         event.stopPropagation();
                         createAgentSession(containerName);
@@ -3057,12 +3306,15 @@
     }
 
     function renderSessions() {
+        const directoryCount = new Set(state.sessions.map(function (session) {
+            return String(session && session.hostPath ? session.hostPath : '').trim() || '未配置目录';
+        }).filter(Boolean)).size;
         const containerCount = new Set(state.sessions.map(function (session) {
             return session && session.containerName ? session.containerName : '';
         }).filter(Boolean)).size;
         sessionCount.textContent = state.loadingSessions
             ? '加载中...'
-            : `${state.sessions.length} 个 AGENT / ${containerCount} 个容器`;
+            : `${directoryCount} 个 目录 / ${containerCount} 个容器 / ${state.sessions.length} 个 AGENT`;
 
         if (state.loadingSessions) {
             renderSessionsLoading();
@@ -3302,7 +3554,7 @@
         }
     }
 
-    function applySessionsSnapshot(rawSessions, preferredName) {
+    function applySessionsSnapshot(rawSessions, preferredName, preferredContainerName) {
         const previousActive = state.active;
         state.sessions = Array.isArray(rawSessions) ? rawSessions : [];
         pruneSidebarTreeState();
@@ -3317,7 +3569,7 @@
             state.sessionDetailError = '';
         }
         if (!state.active && state.sessions.length) {
-            state.active = state.sessions[0].name;
+            state.active = findLatestCreatedSessionName(state.sessions, preferredContainerName) || state.sessions[0].name;
         }
         if (state.active && state.active !== previousActive) {
             ensureSessionPathExpanded(state.active);
@@ -3341,7 +3593,7 @@
         let requestError = null;
         try {
             const data = await api('/api/sessions');
-            applySessionsSnapshot(data.sessions, opts.preferredName);
+            applySessionsSnapshot(data.sessions, opts.preferredName, opts.preferredContainerName);
         } catch (e) {
             requestError = e;
         } finally {
@@ -3767,6 +4019,13 @@
         });
     }
 
+    if (openCreateMenuBtn) {
+        openCreateMenuBtn.addEventListener('click', function () {
+            closeMobileActionsMenu();
+            openCreateModal();
+        });
+    }
+
     if (agentTemplateBtn) {
         agentTemplateBtn.addEventListener('click', function () {
             openAgentTemplateModal().catch(function (e) {
@@ -3794,16 +4053,6 @@
         });
     }
 
-    if (configEditor) {
-        configEditor.addEventListener('input', function () {
-            if (!state.configSaveMessage) {
-                return;
-            }
-            state.configSaveMessage = '';
-            showConfigStatus('');
-        });
-    }
-
     if (createCancelBtn) {
         createCancelBtn.addEventListener('click', function () {
             closeCreateModal();
@@ -3829,14 +4078,32 @@
         });
     }
 
-    if (directoryPickerUpBtn) {
-        directoryPickerUpBtn.addEventListener('click', function () {
-            if (state.directoryPicker.parentPath) {
-                loadDirectoryPicker(state.directoryPicker.parentPath);
+    if (directoryPickerPathInput) {
+        directoryPickerPathInput.addEventListener('input', function () {
+            state.directoryPicker.pathDraft = directoryPickerPathInput.value;
+        });
+        directoryPickerPathInput.addEventListener('keydown', function (event) {
+            if (event.key === 'Enter') {
+                event.preventDefault();
+                loadDirectoryPicker();
             }
         });
     }
 
+    if (directoryPickerVisitBtn) {
+        directoryPickerVisitBtn.addEventListener('click', function () {
+            loadDirectoryPicker();
+        });
+    }
+
+    if (directoryPickerMkdirBtn) {
+        directoryPickerMkdirBtn.addEventListener('click', function () {
+            createDirectoryInPicker().catch(function (e) {
+                showDirectoryPickerError(e && e.message ? e.message : '创建目录失败');
+            });
+        });
+    }
+
     if (directoryPickerSelectBtn) {
         directoryPickerSelectBtn.addEventListener('click', function () {
             applyPickedDirectory();
@@ -4347,14 +4614,21 @@
         closeMobileActionsMenu();
         const activeSession = getActiveSession();
         const targetAgent = activeSession && activeSession.agentName ? activeSession.agentName : state.active;
-        const yes = confirm('确认删除对话 ' + targetAgent + ' ?');
+        const yes = confirm('确认删除 AGENT ' + targetAgent + ' ?');
         if (!yes) return;
         try {
             const current = state.active;
-            await api('/api/sessions/' + encodeURIComponent(current) + '/remove-with-history', {
+            const targetContainerName = activeSession && activeSession.containerName ? activeSession.containerName : '';
+            const fallbackSessionName = findPreferredSessionNameAfterRemoval(state.sessions, current);
+            await api('/api/sessions/' + encodeURIComponent(state.active) + '/remove-with-history', {
                 method: 'POST'
             });
-            await loadSessions(current);
+            await refreshSessions({
+                preferredName: fallbackSessionName || '',
+                preferredContainerName: targetContainerName,
+                withLoading: true,
+                reloadMessages: true
+            });
         } catch (e) {
             alert(e.message);
         }

package/lib/web/frontend/codemirror-entry.js

@@ -35,8 +35,10 @@ function createEditor(parent, options = {}) {
     const initialDoc = String(options.doc || '');
     const initialLanguage = String(options.language || 'text').trim();
     const initialReadOnly = options.readOnly !== false;
+    const onChange = typeof options.onChange === 'function' ? options.onChange : null;
     const languageCompartment = new Compartment();
     const readOnlyCompartment = new Compartment();
+    let suppressChange = false;
     const view = new EditorView({
         parent: target,
         state: EditorState.create({
@@ -44,6 +46,12 @@ function createEditor(parent, options = {}) {
             extensions: [
                 basicSetup,
                 EditorView.lineWrapping,
+                EditorView.updateListener.of(function (update) {
+                    if (!update.docChanged || suppressChange || !onChange) {
+                        return;
+                    }
+                    onChange(update.state.doc.toString());
+                }),
                 readOnlyCompartment.of([
                     EditorState.readOnly.of(initialReadOnly),
                     EditorView.editable.of(!initialReadOnly)
@@ -65,6 +73,7 @@ function createEditor(parent, options = {}) {
     return {
         setValue(nextValue) {
             const text = String(nextValue == null ? '' : nextValue);
+            suppressChange = true;
             view.dispatch({
                 changes: {
                     from: 0,
@@ -72,6 +81,10 @@ function createEditor(parent, options = {}) {
                     insert: text
                 }
             });
+            suppressChange = false;
+        },
+        getValue() {
+            return view.state.doc.toString();
         },
         setLanguage(nextLanguage) {
             view.dispatch({