Mattia Astorino 8912ca384e fix: Fix terminal cursor color		2019-07-04 09:45:39 +02:00
..
settings/specific	fix: Fix search highlight matched result color	2019-06-27 16:31:28 +02:00
theme-template-color-theme.json	fix: Fix terminal cursor color	2019-07-04 09:45:39 +02:00