From b7c05ba133c5a8d2e7eda8fc55a099fa0bb087d9 Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Tue, 7 Nov 2017 19:56:03 -0800
Subject: [PATCH] fix YMap.keys()

---
 src/Type/YMap.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Type/YMap.js b/src/Type/YMap.js
index 4fe73e2e..9c162bfa 100644
--- a/src/Type/YMap.js
+++ b/src/Type/YMap.js
@@ -36,7 +36,7 @@ export default class YMap extends Type {
     return map
   }
   keys () {
-    return this._map.keys()
+    return Array.from(this._map.keys()).filter(x => !x._deleted)
   }
   delete (key) {
     this._transact((y) => {