Merge branch 'project-manager'

2020-12-12 20:27:07 +01:00
parent 23575b309e 3b30bfa18b
commit 1fc0409163
13 changed files with 334 additions and 66 deletions
@@ -53,4 +53,10 @@ style.syntax["string"] = { common.color "#f7c95c" }
 style.syntax["operator"] = { common.color "#93DDFA" }
 style.syntax["function"] = { common.color "#93DDFA" }

+
+style.load = function(module_name)
+  package.loaded[module_name] = nil
+  require(module_name)
+end
+
 return style