Add support for disabling plugins (#4141)

* Move timestamp to own file
* Backend changes
* UI changes
This commit is contained in:
WithoutPants
2023-10-16 16:15:12 +11:00
committed by GitHub
parent e5af37efbc
commit b6808dc714
18 changed files with 260 additions and 62 deletions

View File

@@ -131,7 +131,8 @@ const (
PythonPath = "python_path"
// plugin options
PluginsPath = "plugins_path"
PluginsPath = "plugins_path"
DisabledPlugins = "plugins.disabled"
// i18n
Language = "language"
@@ -722,6 +723,10 @@ func (i *Instance) GetPluginsPath() string {
return i.getString(PluginsPath)
}
func (i *Instance) GetDisabledPlugins() []string {
return i.getStringSlice(DisabledPlugins)
}
func (i *Instance) GetPythonPath() string {
return i.getString(PythonPath)
}