aboutsummaryrefslogtreecommitdiff
path: root/plugins/settings.lua
AgeCommit message (Collapse)Author
2023-02-15settings: simplified loaded status check of pluginsjgmdev
2023-01-12settings: added color config widget supportjgmdev
2023-01-08settings: added ability to filter keybindsjgmdev
2023-01-06ipc: fixed issue when settings gui fails to loadjgmdev
2023-01-06settings: corrected widgets pcall requirejgmdev
2023-01-06settings: updated to use new widgets pathjgmdev
2022-11-27settings: merge a plugin settings when enabled at runtimejgmdev
2022-11-23settings: ask before clearing font cachejgmdev
Also check if font cache is already building and alert the user.
2022-11-15settings: support global force scrollbar status on newly opened Viewsjgmdev
2022-11-15settings: apply force_scrollbar_status on the flyjgmdev
Also added additional flag to support applying the status bar force state globally and not only to document views.
2022-11-15settings: added force_scrollbar_statusjgmdev
Also adjusted ignore dirs default value to current from master.
2022-11-03settings: added new option keep_newline_whitespacejgmdev
2022-09-15settings: added support for file and directory optionsjgmdev
2022-09-05settings: reapply user project and init settings after load, also added ↵jgmdev
clear font cache button
2022-08-11settings: revert to default fonts on load errorjgmdev
2022-08-11settings: handle font loading errorjgmdev
2022-06-24settings: error if widgets not found with url to repojgmdev
2022-06-23settings: fixed default font handlingjgmdev
2022-06-22settings: set about title font as reference of big_fontjgmdev
2022-06-22settings: dont make toolbarview a requirementjgmdev
2022-06-20settings: added ability to configure text and code fontsjgmdev
2022-06-17settings: fix theme loading on MacOSX when fd's have been exceededjgmdev
2022-06-14settings: better about childs update strategyjgmdev
2022-06-08settings: added tooltip to website buttonjgmdev
2022-06-07settings: added about pane and status bar optionsjgmdev
2022-06-02settings: optimizations and properly apply plugins skip versionsjgmdev
2022-06-02settings: remove no longer applicable show spaces optionjgmdev
2022-06-01fix wrong loading order of user enabled pluginsjgmdev
2022-05-31removed lite-xl version and left only mod versionjgmdev
2022-05-29settings: save settings on theme changejgmdev
2022-05-25settings: clean previous binds on apply_kybinding()jgmdev
2022-05-24settings: do not save at exit to prevent config conflicts with other lite-xl ↵jgmdev
instances
2022-05-24settings: load config_spec of plugins enabled after startupjgmdev
2022-05-24settings: allow empty descriptions with default valuejgmdev
2022-05-24settings: call scan_plugins_spec() before merge_settings()jgmdev
2022-05-23settings: added ability to scan for plugins config_spec.jgmdev
2022-05-23Add settings gui plugin (#65)Jefferson González
* Appropriately merged config hashes. * indentguide: use indent size from doc instead of config * added settings gui plugin * added new animation/transition settings * overwrite ToolbarView settings command * Introduced new button type * Added button to open user module on General section * settings: partially implemented keybindings * initial support for settings.type.LIST_STRINGS * added on_apply, prettify settings file and other fixes * added ability to save keybinds and apply at startup * dropped custom prettify in favor of new common.serialize support * handle plugins enable/disable * added priority:0 * added color theme chooser pane * do not remove duplicated colors * properly list all shortcuts assigned to a command * handle multiple bindings per command * custom drawing of colors preview * added video preview to readme * removed unused settings.type.LIST_NUMBERS
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 15:48:25 +0000