calixteman 9c377922ef
Merge pull request #17527 from calixteman/color_pick_exception
[Editor] Avoid an exception when pressing space key to change the color of an highlight
2024-01-16 21:13:56 +01:00
..
2024-01-16 19:40:25 +01:00
2013-03-15 11:24:08 -07:00