From 197f4cbaa47e5e8b9b1fb578b10046914eb6486e Mon Sep 17 00:00:00 2001
From: wolfbeast <mcwerewolf@wolfbeast.com>
Date: Sat, 13 Jul 2019 02:41:46 +0200
Subject: Remove WebIDE devtools component.

This resolves #1123
---
 devtools/client/locales/en-US/menus.properties | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'devtools/client/locales/en-US/menus.properties')

diff --git a/devtools/client/locales/en-US/menus.properties b/devtools/client/locales/en-US/menus.properties
index 66e158cbd..7030fe17d 100644
--- a/devtools/client/locales/en-US/menus.properties
+++ b/devtools/client/locales/en-US/menus.properties
@@ -54,11 +54,6 @@ devToolbarMenu.accesskey = v
 devToolbarMenu.key = VK_F2
 devToolbarMenu.keytext = F2
 
-webide.label = WebIDE
-webide.accesskey = W
-webide.key = VK_F8
-webide.keytext = F8
-
 devToolboxMenuItem.label = Toggle Tools
 devToolboxMenuItem.accesskey = T
 devToolboxMenuItem.key = I
-- 
cgit v1.2.3