2 Commits

Author	SHA1	Message	Date
Calixte Denizet	621b7af60d	[Editor] Highlight must keep selected after the document has been scrolled	2023-12-05 23:22:35 +01:00
Calixte Denizet	f7fec8c6d7	[Editor] Don't remove elements from the draw layer after it has been destroyed ... Fixes issue #17379.	2023-12-05 22:41:20 +01:00