chore: generate
This commit is contained in:
parent
5d0fd6e7b9
commit
c19a0c5d09
1 changed files with 0 additions and 2 deletions
|
|
@ -154,7 +154,6 @@ export function Prompt(props: PromptProps) {
|
||||||
const pasteStyleId = syntax().getStyleId("extmark.paste")!
|
const pasteStyleId = syntax().getStyleId("extmark.paste")!
|
||||||
let promptPartTypeId: number
|
let promptPartTypeId: number
|
||||||
|
|
||||||
|
|
||||||
sdk.event.on(TuiEvent.PromptAppend.type, (evt) => {
|
sdk.event.on(TuiEvent.PromptAppend.type, (evt) => {
|
||||||
input.insertText(evt.properties.text)
|
input.insertText(evt.properties.text)
|
||||||
setTimeout(() => {
|
setTimeout(() => {
|
||||||
|
|
@ -186,7 +185,6 @@ export function Prompt(props: PromptProps) {
|
||||||
interrupt: 0,
|
interrupt: 0,
|
||||||
})
|
})
|
||||||
|
|
||||||
|
|
||||||
command.register(() => {
|
command.register(() => {
|
||||||
return [
|
return [
|
||||||
{
|
{
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue