id = "log" name = "Log" extensions = ["log"] indent = { tab-size = 4, insert-spaces = true } ui-mode = "Log"