Add benchmarking, perf gains, and better settings UI (#850)

2024-02-12 15:58:35 -08:00
parent cf25eb0833
commit 8ff064fe28
10 changed files with 380 additions and 197 deletions
--- a/plugin/src/Settings.lua
+++ b/plugin/src/Settings.lua
@@ -20,6 +20,7 @@ local defaultSettings = {
 	playSounds = true,
 	typecheckingEnabled = false,
 	logLevel = "Info",
+	timingLogsEnabled = false,
 	priorEndpoints = {},
 }