From 448d0742c5e529770361aab706ad0a5e419ce0ef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20R=C3=A8gne?= <regseb@gmail.com>
Date: Mon, 27 Apr 2020 18:35:28 +0200
Subject: [PATCH] fix: Effacer l'erreur sur le nom des serveurs.

---
 src/options/script.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/options/script.js b/src/options/script.js
index 733b8ad1..08da0575 100644
--- a/src/options/script.js
+++ b/src/options/script.js
@@ -61,6 +61,8 @@ const check = async function (input) {
             browser.i18n.getMessage("options_serverName_error"),
         );
         input.style.backgroundImage = `url("img/invalid.svg")`;
+    } else {
+        input.style.backgroundImage = "none";
     }
 };