Merge branch '4433_edit_nonprintable_color'
commit15419524e87547bb07d8967cc1a875789720e102
authorAndrew Borodin <aborodin@vmail.ru>
Sun, 10 Dec 2023 14:49:13 +0000 (10 17:49 +0300)
committerAndrew Borodin <aborodin@vmail.ru>
Sun, 10 Dec 2023 14:49:13 +0000 (10 17:49 +0300)
treeb023c993397882eb05256b449dafefa18e51c7c6
parentea6bd1866e7de2f2db6291bed75e7c2398b9eda4
parent1b3684e0e1edeac1c598801856a78516676aaf1c
Merge branch '4433_edit_nonprintable_color'

* 4433_edit_nonprintable_color:
  Ticket #4433: skins: add color for non-printable characters in editor.