From a37c33ec362b83f2fee959fa253de361be6de1bd Mon Sep 17 00:00:00 2001
From: Bill Ferguson <wpferguson@gmail.com>
Date: Sun, 19 Aug 2018 12:30:45 -0400
Subject: [PATCH] Fixed enable preference not saved

---
 tools/script_manager.lua | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/script_manager.lua b/tools/script_manager.lua
index 11cd9dc..c9a0825 100644
--- a/tools/script_manager.lua
+++ b/tools/script_manager.lua
@@ -247,6 +247,7 @@ local function activate(script, scriptname)
   local status, err = prequire(sm.script_paths[script])
   -- do it
   if status then
+    dt.preferences.write("script_manager", script, "bool", true)
     dt.print("Loaded " .. scriptname)
   else
     dt.print(scriptname .. " failed to load")