Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 ↵ | jgmdev | |
clear font cache button | |||
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 | |
instances | |||
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 | |
* 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 |