index
:
lite-xl-plugins
2.0
2.1
2.2
PR/update-manifest-adamharrison-lite-xl-terminal
PR/update-manifest-adamharrison-lite-xl-www
PR/update-manifest-adamharrison-quetta
PR/update-manifest-adamharrisonlite-xl-terminal
PR/update-manifest-jdk-and-lsp_c-and-lsp_emmet-and-lsp_lua-and-lsp_java-and-lsp_python-and-lsp_quicklintjs-and-lsp_rust-and-lsp_tex-and-lsp_typescript-and-lsp_zig-and-nodejs
PR/update-manifest-lite-xl-lite-xl-ide
PR/update-manifest-lite-xl-lite-xl-lsp
PR/update-manifest-lite-xl-lite-xl-lsp-servers
PR/update-manifest-lite-xllite-xl-lsp-servers
master
Plugins for the Lite XL editor
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
plugins
/
settings.lua
Age
Commit message (
Expand
)
Author
2022-11-23
settings: ask before clearing font cache
jgmdev
2022-11-15
settings: support global force scrollbar status on newly opened Views
jgmdev
2022-11-15
settings: apply force_scrollbar_status on the fly
jgmdev
2022-11-15
settings: added force_scrollbar_status
jgmdev
2022-11-03
settings: added new option keep_newline_whitespace
jgmdev
2022-09-15
settings: added support for file and directory options
jgmdev
2022-09-05
settings: reapply user project and init settings after load, also added clear...
jgmdev
2022-08-11
settings: revert to default fonts on load error
jgmdev
2022-08-11
settings: handle font loading error
jgmdev
2022-06-24
settings: error if widgets not found with url to repo
jgmdev
2022-06-23
settings: fixed default font handling
jgmdev
2022-06-22
settings: set about title font as reference of big_font
jgmdev
2022-06-22
settings: dont make toolbarview a requirement
jgmdev
2022-06-20
settings: added ability to configure text and code fonts
jgmdev
2022-06-17
settings: fix theme loading on MacOSX when fd's have been exceeded
jgmdev
2022-06-14
settings: better about childs update strategy
jgmdev
2022-06-08
settings: added tooltip to website button
jgmdev
2022-06-07
settings: added about pane and status bar options
jgmdev
2022-06-02
settings: optimizations and properly apply plugins skip versions
jgmdev
2022-06-02
settings: remove no longer applicable show spaces option
jgmdev
2022-06-01
fix wrong loading order of user enabled plugins
jgmdev
2022-05-31
removed lite-xl version and left only mod version
jgmdev
2022-05-29
settings: save settings on theme change
jgmdev
2022-05-25
settings: clean previous binds on apply_kybinding()
jgmdev
2022-05-24
settings: do not save at exit to prevent config conflicts with other lite-xl ...
jgmdev
2022-05-24
settings: load config_spec of plugins enabled after startup
jgmdev
2022-05-24
settings: allow empty descriptions with default value
jgmdev
2022-05-24
settings: call scan_plugins_spec() before merge_settings()
jgmdev
2022-05-23
settings: added ability to scan for plugins config_spec.
jgmdev
2022-05-23
Add settings gui plugin (#65)
Jefferson González
