From 03dfdacae8ef216d36bffe933ba7e6d0d2be6431 Mon Sep 17 00:00:00 2001 From: DanielGavin Date: Sat, 27 Jul 2024 21:58:39 +0200 Subject: Change checker default settings --- src/server/requests.odin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/server/requests.odin b/src/server/requests.odin index 7c481df..04505b3 100644 --- a/src/server/requests.odin +++ b/src/server/requests.odin @@ -714,7 +714,7 @@ request_initialize :: proc( config.checker_args = "" config.enable_fake_method = false config.enable_procedure_snippet = true - config.enable_checker_only_saved = false + config.enable_checker_only_saved = true read_ols_config :: proc( file: string, -- cgit v1.2.3