pragtical - The practical and pragmatic code editor.

Age	Commit message (Expand)	Author
2025-06-30	highlight_current_line "no_selection" now default (#284)	Jefferson González
2025-06-20	settings gui: option to select dirmonitor backend (#270)	Jefferson González
2025-06-09	Make DATADIR and USERDIR fonts path portable (#249)	Jefferson González
2025-06-05	Allow always hiding tabs, great for zen mode! (#242)	Jefferson González
2025-06-04	Enabled word wrap on settings ui labels (#241)	Jefferson González
2025-06-04	Properly saves a cleared binding from settings ui (#240)	Jefferson González
2025-06-03	Settings: allow filtering colors (#238)	Jefferson González
2025-06-02	Include additional glyphs on icons.ttf (#236)	Jefferson González
2025-03-09	Perform collectgarbage step instead of collect (#226)	Jefferson González
2024-09-28	Make the input latency reduction toggleable (#188)	Jefferson González
2024-09-09	Reduce the amount of co-routines needed on startup (#176)	Jefferson González
2024-09-09	Lower input latency improving co-routine scheduling and tokenizer (#174)	Jefferson González
2024-06-21	Improvements to core.visited_files handling (#96)	Jefferson González
2024-03-11	settings ui: added max_visible_commands config (#79)	Jefferson González
2024-01-15	Respect config.file_size_limit on some components (#60)	Jefferson González
2023-12-01	Added config.line_endings support to settings gui	jgmdev
2023-09-18	Highlight default theme on settings ui, fixes #23	jgmdev
2023-08-06	Recompile ignore patterns when changed from gui	jgmdev
2023-08-06	Added GUI for treeview show hidden/ignored	jgmdev
2023-07-30	Merged Project Rework lite-xl/lite-xl#1455	Adam Harrison
2023-07-03	settings: respect disabled plugins on lua modules as reported on lite-xl/lite...	jgmdev
2023-07-03	Changed log view settings from lite-xl/lite-xl-plugins#266	Luke aka SwissalpS
2023-05-23	settings: added config for tabs top margin	jgmdev
2023-05-22	Updated editor references on settings plugin	jgmdev
2023-05-21	Added settings plugin	jgmdev