Add selection to ITheme

2017-09-04 08:14:40 -07:00
parent 0bfdff0b39
commit ff31f34551
6 changed files with 9 additions and 1 deletions
@@ -307,6 +307,7 @@ export interface ITheme {
  foreground?: string;
  background?: string;
  cursor?: string;
+  selection?: string;
  black?: string;
  red?: string;
  green?: string;