pragtical - The practical and pragmatic code editor.

Age	Commit message (Expand)	Author
2023-05-21	Scale the entire UI by default on scale plugin	jgmdev
2023-05-21	Project rebranding	jgmdev
2023-04-29	Restore horizontal scroll position after scale change (#494)	Guldoman
2023-02-06	plugins scale: also rescale style.expanded_scrollbar_size (#1380)	Jefferson González
2022-09-15	plugin scale: added option to set default scale (#1115)	Jefferson González
2022-06-23	renderer fonts: additions and improvements	jgmdev
2022-06-15	run GC between scale to prevent ram from exploding	takase1121
2022-05-31	plugins: dropped --lite-xl version tag	jgmdev
2022-05-23	plugins: added settings gui support	jgmdev
2022-04-03	Bumping version numbers.	Adam Harrison
2022-03-05	plugin scale: replace non existing font.set_size with font.copy	jgmdev
2022-01-22	Added in new merge method, and run it on plugins. Also made it so plugin conf...	Adam Harrison
2021-11-23	Manual merge of into .	Adam Harrison
2021-11-14	Added in mousewheel as part of this.	Adam Harrison
2021-10-02	Merge pull request #521 from adamharrison/remove-font-renderer	Francesco
2021-10-02	Small cleanup of `scale` plugin	Guldoman
2021-10-02	Scale custom syntax fonts for scale plugin	Francesco Abbate
2021-10-02	Small cleanup of `scale` plugin	Guldoman
2021-09-24	Used copy.	Adam Harrison
2021-09-19	Scale custom syntax fonts for scale plugin	Francesco Abbate
2021-08-28	Refactored minimum scale bug fix code	Daniel Rocha
2021-08-28	Fix the additional four spaces to two spaces in the indent	Daniel Rocha
2021-08-28	Fix minimal scale possible	Daniel Rocha
2021-08-17	2.0 changelog and modversion updates.	Adam Harrison
2021-07-15	Namespace plugin-specific configuration settings.	Adam Harrison
2021-06-17	[plugin/scale] fixed wrong increase and decrease	jgmdev
2021-06-14	Added in an interface to the scale plugin.	Adam Harrison
2021-06-03	Scale fonts context menu (#246)	Francesco