|
|
@@ -154,7 +154,6 @@ export function Prompt(props: PromptProps) {
|
|
|
const pasteStyleId = syntax().getStyleId("extmark.paste")!
|
|
|
let promptPartTypeId: number
|
|
|
|
|
|
-
|
|
|
sdk.event.on(TuiEvent.PromptAppend.type, (evt) => {
|
|
|
input.insertText(evt.properties.text)
|
|
|
setTimeout(() => {
|
|
|
@@ -186,7 +185,6 @@ export function Prompt(props: PromptProps) {
|
|
|
interrupt: 0,
|
|
|
})
|
|
|
|
|
|
-
|
|
|
command.register(() => {
|
|
|
return [
|
|
|
{
|