From 2848df7f57e6edf362d925cd7056375c808d1bbe Mon Sep 17 00:00:00 2001 From: Shengyi Jiang Date: Fri, 15 Nov 2024 22:44:35 +0800 Subject: [PATCH] fix typo in the comment --- src/State/State__Response.res | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/State/State__Response.res b/src/State/State__Response.res index 2759b73e..560df88c 100644 --- a/src/State/State__Response.res +++ b/src/State/State__Response.res @@ -158,13 +158,13 @@ let rec handle = async ( await State__Goal.removeBoundaryAndDestroy(state, goal) | GiveString(content) => let (indentationWidth, _text, _) = State__Goal.indentationWidth(state.document, goal) - // 1. ideally, we want to add a "\t" or equivalent spaces before the indent based on - // "editor.tabSize" and "editor.insertSpaces" - // but we cannot load the "editor.tabSize" here - // so as a workaround we use a default value of 2 - // maybe consider storing these attributed in the state + // 1. ideally, we want to add "\t" or equivalent spaces based on + // "editor.tabSize" and "editor.insertSpaces" + // but we cannot load the "editor.tabSize" here + // so as a workaround, we use a default value of 2 + // maybe consider storing these attributes in the state in the future // 2. the Emacs plugin seems to use len(text) as the indent, which could be a - // safet choice + // safer choice let defaultIndentation = 2 await State__Goal.modify(state, goal, _ => Parser.unescapeEOL(content)->indent(defaultIndentation + indentationWidth)