# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1426627105 -3600
# Node ID 44df078187b976dc0b168574efec94308394867f
# Parent  849ffb24d5bf550d927360fb4f751a05e178ca32
browser side: fixed __setitem__ in OrderedDict (was bugging when the key was already existing)

diff -r 849ffb24d5bf -r 44df078187b9 src/browser/collections.py
--- a/src/browser/collections.py	Tue Mar 17 20:42:02 2015 +0100
+++ b/src/browser/collections.py	Tue Mar 17 22:18:25 2015 +0100
@@ -36,7 +36,8 @@
         return len(self.__keys)
 
     def __setitem__(self, key, value):
-        self.__keys.append(key)
+        if key not in self.__keys:
+            self.__keys.append(key)
         self.__internal_dict[key] = value
 
     def __getitem__(self, key):