3 Commits

Author	SHA1	Message	Date
Calixte Denizet	17e1519410	[Editor] Init the default highlight color before creating the first editor instance ... We want to be able to draw an highlight with the default color but without having an instance of the HighlightEditor.	2024-01-05 17:52:54 +01:00
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