/** * editorHtml — selbstenthaltener Live-Code-Editor fuer die WebView (offline, * kein CDN/Bundler). Eine transparente ueber einer -Highlight- * Ebene: man sieht Syntax-Highlighting UND kann tippen. Bewusst leichtgewichtig * (Regex-Highlighter fuer C-artige/JS/Python/Shell), damit es ohne Build-Schritt * inline passt. * * Bridge-Protokoll: * RN -> WebView window.ariaBridge.onMessage(jsonString): * {cmd:'setContent', content, language, version} * {cmd:'applyPatch', from, to, insert, version} * {cmd:'setLanguage', language} * {cmd:'setReadOnly', value} * WebView -> RN window.ReactNativeWebView.postMessage(jsonString): * {event:'ready'} * {event:'onEditFromUser', from, to, insert, fullText, version} */ export const EDITOR_HTML = ` `;
-Highlight- * Ebene: man sieht Syntax-Highlighting UND kann tippen. Bewusst leichtgewichtig * (Regex-Highlighter fuer C-artige/JS/Python/Shell), damit es ohne Build-Schritt * inline passt. * * Bridge-Protokoll: * RN -> WebView window.ariaBridge.onMessage(jsonString): * {cmd:'setContent', content, language, version} * {cmd:'applyPatch', from, to, insert, version} * {cmd:'setLanguage', language} * {cmd:'setReadOnly', value} * WebView -> RN window.ReactNativeWebView.postMessage(jsonString): * {event:'ready'} * {event:'onEditFromUser', from, to, insert, fullText, version} */ export const EDITOR_HTML = ` `;