From 1f6ec231988845c7c072e2ea1512722b41fb508a Mon Sep 17 00:00:00 2001 From: Yannic Meyer Date: Fri, 17 Jul 2026 15:27:32 +0200 Subject: [PATCH] remove disable scripts option --- tools/script_manager.lua | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/tools/script_manager.lua b/tools/script_manager.lua index 27e65c58..0498cf20 100644 --- a/tools/script_manager.lua +++ b/tools/script_manager.lua @@ -1470,18 +1470,6 @@ sm.widgets.add_scripts = dt.new_widget("box"){ } } -sm.widgets.allow_disable = dt.new_widget("check_button"){ - label = _('enable "disable scripts" button'), - value = false, - clicked_callback = function(this) - if this.value == true then - sm.widgets.disable_scripts.sensitive = true - else - sm.widgets.disable_scripts.sensitive = false - end - end, -} - sm.widgets.disable_scripts = dt.new_widget("button"){ label = _("disable scripts"), sensitive = false, @@ -1506,12 +1494,6 @@ sm.widgets.install_update = dt.new_widget("box"){ dt.new_widget("label"){label = _("add more scripts")}, dt.new_widget("label"){label = " "}, sm.widgets.add_scripts, - dt.new_widget("section_label"){label = " "}, - dt.new_widget("label"){label = " "}, - dt.new_widget("label"){label = _("disable scripts")}, - dt.new_widget("label"){label = " "}, - sm.widgets.allow_disable, - sm.widgets.disable_scripts, dt.new_widget("label"){label = " "}, }