Always use server formatting settings
This commit is contained in:
parent
d1f4b60fa1
commit
58a56bdda2
2 changed files with 10 additions and 17 deletions
|
@ -676,14 +676,9 @@ message PerformRename {
|
|||
message OnTypeFormatting {
|
||||
uint64 project_id = 1;
|
||||
uint64 buffer_id = 2;
|
||||
FormattingOptions options = 3;
|
||||
Anchor position = 4;
|
||||
string trigger = 5;
|
||||
repeated VectorClockEntry version = 6;
|
||||
}
|
||||
|
||||
message FormattingOptions {
|
||||
uint32 tab_size = 1;
|
||||
Anchor position = 3;
|
||||
string trigger = 4;
|
||||
repeated VectorClockEntry version = 5;
|
||||
}
|
||||
|
||||
message OnTypeFormattingResponse {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue