From fd98564d782692de768fc9d61cdce593b39992e6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Krier?= <ced@b2ck.com>
Date: Tue, 26 Feb 2019 16:03:56 +0100
Subject: [PATCH] Compare decoded URL's

In order to ensure to get equality if the encoding is different.

issue8124
review56621002
---
 src/sao.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/sao.js b/src/sao.js
index ae9b32e1a4..b83365a881 100644
--- a/src/sao.js
+++ b/src/sao.js
@@ -373,9 +373,10 @@ var Sao = {};
                 Sao.set_url(tab.get_url(), tab.name);
             }
         } else {
+            url = decodeURIComponent(url);
             for (var i = 0; i < Sao.Tab.tabs.length; i++) {
                 tab = Sao.Tab.tabs[i];
-                if (tab.get_url() == url) {
+                if (decodeURIComponent(tab.get_url()) == url) {
                     tab.show();
                     return;
                 }