mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
Also, rework the way how default bg and fg are assigned to the terminal editors, since there is no easy way to assign custom foreground to the editor. (cherry picked from commit e83c36037f08783436c46189bcede698b264da3f) IJ-CR-175808 GitOrigin-RevId: 146292a6a39ed6bf0eb1a71af1ffc83210af89f5