feat(profiling): added options to enable additional profiling

This commit is contained in:
Folke Lemaitre 2023-10-09 12:38:43 +02:00
parent ce3e8523de
commit 423a152e94
No known key found for this signature in database
GPG key ID: 41F8B1FBACAE2040
6 changed files with 102 additions and 60 deletions

View file

@ -26,6 +26,7 @@ M.colors = {
ReasonFt = "Character",
ReasonCmd = "Operator",
ReasonImport = "Identifier",
ReasonRequire = "@parameter",
Button = "CursorLine",
ButtonActive = "Visual",
TaskOutput = "MsgArea", -- task output