From ed5c6c63fa12dc848cdf40b9e171924201e50950 Mon Sep 17 00:00:00 2001
From: girst <girst@users.noreply.github.com>
Date: Sun, 12 May 2019 14:40:21 +0200
Subject: [PATCH] remove further remnants of devtools-integration

continued from 183cd23c3b65fb27873663c7e3cb97ef02f791b5
see also: http://bugzil.la/1461970
---
 extension/lib/commands.coffee | 3 ---
 extension/lib/defaults.coffee | 1 -
 2 files changed, 4 deletions(-)

diff --git a/extension/lib/commands.coffee b/extension/lib/commands.coffee
index e009234..b5b542a 100644
--- a/extension/lib/commands.coffee
+++ b/extension/lib/commands.coffee
@@ -1029,9 +1029,6 @@ commands.edit_blacklist = ({vim}) ->
 commands.help = ({vim}) ->
   help.toggleHelp(vim.window, vim._parent)
 
-commands.dev = ({vim}) ->
-  vim.window.DeveloperToolbar.show(true) # `true` to focus.
-
 commands.esc = ({vim}) ->
   vim._run('esc')
   vim.hideNotification()
diff --git a/extension/lib/defaults.coffee b/extension/lib/defaults.coffee
index 9f01736..8e82d1e 100644
--- a/extension/lib/defaults.coffee
+++ b/extension/lib/defaults.coffee
@@ -97,7 +97,6 @@ shortcuts =
       'gB':        'edit_blacklist'
       'gC':        'reload_config_file'
       '?':         'help'
-      ':':         'dev'
       '<force><escape>': 'esc'
 
   'caret':
-- 
2.39.3