Searched refs:editorStream (Results 1 – 1 of 1) sorted by relevance
710 const editorStream = new ArrayStream(); constant712 stream: editorStream,717 editorStream.run(['.clear']);718 editorStream.run(['.editor']);724 editorStream.run(['.clear']);725 editorStream.run(['.editor']);