From 29bc41f5dad0802c32474f042d09203b6ab8bc3f Mon Sep 17 00:00:00 2001
From: rr- <rr-@sakuya.pl>
Date: Sat, 30 Jul 2016 20:27:00 +0200
Subject: [PATCH] client/tags: don't mark duplicated implications

---
 client/js/controls/tag_input_control.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/client/js/controls/tag_input_control.js b/client/js/controls/tag_input_control.js
index 6622ce3c..99249b38 100644
--- a/client/js/controls/tag_input_control.js
+++ b/client/js/controls/tag_input_control.js
@@ -208,7 +208,9 @@ class TagInputControl extends events.EventTarget {
         let listItemNode = this._getListItemNodeFromTagName(tagName);
         const alreadyAdded = !!listItemNode;
         if (alreadyAdded) {
-            listItemNode.classList.add('duplicate');
+            if (e.detail.source !== SOURCE_IMPLICATION) {
+                listItemNode.classList.add('duplicate');
+            }
         } else {
             listItemNode = this._createListItemNode(tagName);
             if (!actualTag) {