From 9f4415428cad24ed7663792970a838676d36436d Mon Sep 17 00:00:00 2001
From: Thomas Brouard <contact@brrd.fr>
Date: Tue, 13 Feb 2018 19:28:59 +0100
Subject: [PATCH] Change selection color in dark theme (Fixes #199)

---
 default/themes/default-dark/theme.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/default/themes/default-dark/theme.less b/default/themes/default-dark/theme.less
index 373a196..1d7fa8c 100644
--- a/default/themes/default-dark/theme.less
+++ b/default/themes/default-dark/theme.less
@@ -138,7 +138,7 @@
 @editor-cursor-color: #f60;
 @editor-cursor-width: 2px;
 .editor-selection() {
-    background-color: #2C323C;
+    background-color: #123456;
 }
 .editor-searching() {
     background: transparent;