David Dossett 52f8bfaf5b Inherit editor inactive selection colors in terminal (Fix #158899) (#158950) ... * Inherit editor inactive selection colors in terminal (Fix #158899) * Remove unused import * Add terminal inactive selection colors to default dark and light themes * Update monokai terminal inactive selection * Merge branch 'main' into ddossett/thoughtful-butterfly		2022-08-25 01:00:34 +02:00
..
dimmed-monokai-color-theme.json	Inherit editor inactive selection colors in terminal (Fix #158899) (#158950)	2022-08-25 01:00:34 +02:00