dots.typescript.server.protocol.close-request — io.github.dots-cljs/dots-typescript 5.4.5-10

Close request; value of command field is "close". Notify the server that the client has closed a previously open file. If file is still referenced by open files, the server will resume monitoring the filesystem for changes to file. Server does not currently send a response to a close request.

arguments cljs

(arguments close-request)

Returns: FileRequestArgs

command cljs

(command close-request)

Returns: CommandTypes.Close

seq cljs

(seq close-request)

Sequence number of the message

Returns: number

set-arguments! cljs

(set-arguments! close-request value)

set-command! cljs

(set-command! close-request value)

set-seq! cljs

(set-seq! close-request value)

Sequence number of the message

set-type! cljs

(set-type! close-request value)

type cljs

(type close-request)

Returns: "request"