Update todo, add indent size option

This commit is contained in:
Krzosa Karol
2024-08-03 07:26:37 +02:00
parent 4c7f6340d6
commit f79fce83ca
5 changed files with 41 additions and 51 deletions

View File

@@ -297,7 +297,7 @@ end
-- function RuleFindExistingBuffer(_s)
-- line, col, _s = ExtractLineAndColumn(_s)
--
--
-- buffers = list_buffers_object()
-- for i = 1,#buffers do
-- buff = buffers[i]
@@ -305,7 +305,7 @@ end
-- return {kind = "text", file_path = buff, line = line, col = col}
-- end
-- end
--
--
-- return nil
-- end
@@ -394,8 +394,9 @@ void GenerateConfig() {
colors.add({"TitleBarSelection", "GruvboxLight3"});
Array<Var> style = {};
style.add({"DrawLineNumbers", "0"});
style.add({"DrawScrollbar", "0"});
style.add({"DrawLineNumbers", "1"});
style.add({"DrawScrollbar", "1"});
style.add({"IndentSize", "2"});
{
MA_Scratch scratch;