calixteman 8702e1bbb2
Merge pull request #17359 from calixteman/editor_highlight_color_picker
[Editor] Add a color picker with predefined colors for highlighting text (bug 1866434)
2023-12-06 11:06:55 +01:00
..
2023-12-03 18:52:48 +05:30
2013-03-15 11:24:08 -07:00