Merge pull request #897 from KamasamaK/extend-textdocumentpositionparams-20200121

Extend TextDocumentPositionParams
This commit is contained in:
Dirk Bäumer 2020-02-03 14:30:03 +01:00 committed by GitHub
commit 0280beca9d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -5313,17 +5313,7 @@ _Request_:
* params: `DocumentOnTypeFormattingParams` defined as follows:
```typescript
interface DocumentOnTypeFormattingParams {
/**
* The document to format.
*/
textDocument: TextDocumentIdentifier;
/**
* The position at which this request was sent.
*/
position: Position;
interface DocumentOnTypeFormattingParams extends TextDocumentPositionParams {
/**
* The character that has been typed.
*/
@ -5391,17 +5381,7 @@ _Request_:
* params: `RenameParams` defined as follows
```typescript
interface RenameParams extends WorkDoneProgressParams {
/**
* The document to rename.
*/
textDocument: TextDocumentIdentifier;
/**
* The position at which this request was sent.
*/
position: Position;
interface RenameParams extends TextDocumentPositionParams, WorkDoneProgressParams {
/**
* The new name of the symbol. If the given name is not valid the
* request must return a [ResponseError](#ResponseError) with an