From 05d555eae53f35656831306ad81aa316b874ae8a Mon Sep 17 00:00:00 2001 From: Bill Ferguson Date: Sat, 25 Mar 2023 12:46:59 -0400 Subject: [PATCH] tools/script_manager - let the shortcut system know that script_manager widgets belong to script_manager --- tools/script_manager.lua | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tools/script_manager.lua b/tools/script_manager.lua index a0a0220..4ae6657 100644 --- a/tools/script_manager.lua +++ b/tools/script_manager.lua @@ -865,6 +865,10 @@ local current_branch = get_current_repo_branch(LUA_DIR) local clean = is_repo_clean(repo_data) local repo = LUA_DIR +-- ensure shortcuts module knows widgets belong to script_manager + +script_manager_running_script = "script_manager" + if current_branch then if sm.executables.git and clean and (current_branch == "master" or string.match(current_branch, "^API%-")) then -- only make changes to clean branches @@ -1137,7 +1141,7 @@ sm.widgets.main_box = dt.new_widget("box"){ sm.widgets.main_stack } - +script_manager_running_script = nil -- - - - - - - - - - - - - - - - - - - - - - - - -- D A R K T A B L E I N T E G R A T I O N -- - - - - - - - - - - - - - - - - - - - - - - -