10 commits

Author	SHA1	Message	Date
Rémi Verschelde	81064cc239	Doctool: Remove version attribute from XML header ... We don't use that info for anything, and it generates unnecessary diffs every time we bump the minor version (and CI failures if we forget to sync some files from opt-in modules (mono, text_server_fb).	2023-07-06 10:08:21 +02:00
Rémi Verschelde	346f1ab86b	Bump version to 4.2-dev ... Keep on waitin'	2023-07-05 22:07:03 +02:00
ajreckof	81aa5ad999	add backward_undo_ops as property for action	2023-06-13 15:32:05 +02:00
kobewi	3a06e6af76	Update UndoRedo description	2023-04-03 15:54:43 +02:00
Rémi Verschelde	1c1524a651	Bump version to 4.1-dev ... Can't stop, won't stop, they said, huh?	2023-03-01 01:44:37 +01:00
kobewi	b58111588a	Add EditorUndoRedoManager singleton	2023-01-16 01:11:52 +01:00
kobewi	f764db1bdd	Add remote history to EditorUndoRedoManager	2022-12-08 15:06:29 +01:00
Rémi Verschelde	315c64282b	Fix misc formatting issues ... Somehow I missed the failing CI report from trailing whitespace. Fixed a couple typos found by codespell while at it, and misc trailing semicolons in one of the files.	2022-11-14 19:00:48 +01:00
kobewi	f42cd7f83f	Add history dock	2022-08-29 04:29:22 +02:00
kobewi	ece3df3938	Add per-scene UndoRedo	2022-08-22 18:05:10 +02:00