The document formatting request is sent from the client to the server to format a whole document.
| uri |
the URI of the document to format |
| options |
the formatting options |
|
a list of text edits, or null if no formatting is needed |