calixteman f15b4b34fd
Merge pull request #17650 from calixteman/editor_highlight_keyboard
[Editor] Add a way to highlight text in using the keyboard (bug 1877426)
2024-02-11 18:52:37 +01:00
..
2024-01-16 19:40:25 +01:00
2013-03-15 11:24:08 -07:00
2024-02-10 19:05:36 +01:00