From 996e8e2af770a6e1cedf47fc63f7e7b5fbd4141b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Wed, 28 Aug 2019 15:28:48 +0200 Subject: [PATCH] Remove unused keys from FrontendMessageStore --- tfw/components/frontend/message_storage.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/tfw/components/frontend/message_storage.py b/tfw/components/frontend/message_storage.py index b9ea946..1ad85c5 100644 --- a/tfw/components/frontend/message_storage.py +++ b/tfw/components/frontend/message_storage.py @@ -30,9 +30,6 @@ class FrontendMessageStorage(MessageStorage): def _filter_message(self, message): return message['key'].startswith(( 'console.write', - 'dashboard.layout', - 'dashboard.terminalMenuItem', - 'message.config', 'message.send', 'ide.read' ))