diff options
author | jgmdev <jgmdev@gmail.com> | 2023-01-06 11:33:53 -0400 |
---|---|---|
committer | jgmdev <jgmdev@gmail.com> | 2023-01-06 11:33:53 -0400 |
commit | 9385bd0f18ff02df02cc8bc500c04d671f35e9fa (patch) | |
tree | 6d74d5a00cf45d742ef860de680f4b057e0aa61b | |
parent | 552a73287b3bfc542a927326284d2a54c84a55ed (diff) | |
download | lite-xl-plugins-9385bd0f18ff02df02cc8bc500c04d671f35e9fa.tar.gz lite-xl-plugins-9385bd0f18ff02df02cc8bc500c04d671f35e9fa.zip |
settings: updated to use new widgets path
-rw-r--r-- | manifest.json | 2 | ||||
-rw-r--r-- | plugins/settings.lua | 32 |
2 files changed, 17 insertions, 17 deletions
diff --git a/manifest.json b/manifest.json index 71143d1..c233dab 100644 --- a/manifest.json +++ b/manifest.json @@ -997,7 +997,7 @@ }, { "description": "Provides a GUI to manage core and plugin settings, bindings and select color theme *([video](https://user-images.githubusercontent.com/1702572/169743674-ececae24-f6b7-4ff2-bfa2-c4762cd327d9.mp4))*. (depends on [`widget`](https://github.com/lite-xl/lite-xl-widgets))", - "version": "0.1", + "version": "0.2", "path": "plugins/settings.lua", "id": "settings", "mod_version": "3" diff --git a/plugins/settings.lua b/plugins/settings.lua index 17ce998..cad9641 100644 --- a/plugins/settings.lua +++ b/plugins/settings.lua @@ -15,22 +15,22 @@ if not widget_found then return end -local Label = require "widget.label" -local Line = require "widget.line" -local NoteBook = require "widget.notebook" -local Button = require "widget.button" -local TextBox = require "widget.textbox" -local SelectBox = require "widget.selectbox" -local NumberBox = require "widget.numberbox" -local Toggle = require "widget.toggle" -local ListBox = require "widget.listbox" -local FoldingBook = require "widget.foldingbook" -local FontsList = require "widget.fontslist" -local ItemsList = require "widget.itemslist" -local KeybindingDialog = require "widget.keybinddialog" -local Fonts = require "widget.fonts" -local FilePicker = require "widget.filepicker" -local MessageBox = require "widget.messagebox" +local Label = require "libraries.widget.label" +local Line = require "libraries.widget.line" +local NoteBook = require "libraries.widget.notebook" +local Button = require "libraries.widget.button" +local TextBox = require "libraries.widget.textbox" +local SelectBox = require "libraries.widget.selectbox" +local NumberBox = require "libraries.widget.numberbox" +local Toggle = require "libraries.widget.toggle" +local ListBox = require "libraries.widget.listbox" +local FoldingBook = require "libraries.widget.foldingbook" +local FontsList = require "libraries.widget.fontslist" +local ItemsList = require "libraries.widget.itemslist" +local KeybindingDialog = require "libraries.widget.keybinddialog" +local Fonts = require "libraries.widget.fonts" +local FilePicker = require "libraries.widget.filepicker" +local MessageBox = require "libraries.widget.messagebox" ---@class plugins.settings local settings = {} |