[Editor] Avoid to have a color picker for highlighting twice in the main toolbar#17388

Merged

calixteman merged 1 commit intomozilla:masterfrom

calixteman:no_double_color_picker

Dec 6, 2023

Commits on Dec 6, 2023

[Editor] Avoid to have a color picker for highlighting twice in the main toolbar
calixteman
committed