From 468fa54779136d747aa3f7a89e98753f31bbcb63 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Thu, 15 Nov 2018 07:47:07 +0100
Subject: index.html: Remove "Application switcher" example

Turns out this doesn't work very well. It activates the application
switcher, but doesn't deactivate it, so it doesn't go away. Bad example.
Oh well.
---
 index.html | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/index.html b/index.html
index d9b3268..aff9df3 100644
--- a/index.html
+++ b/index.html
@@ -76,11 +76,6 @@ mode <Play><Play> {
     map <Down> <Right>
 }</pre>
 
-		<p>Application switcher:</p>
-		<pre class="code code-block margin-bottom-1.8 font-size-0.8">
-map &lt;Up&gt; &lt;D-S-Tab&gt;
-map &lt;Down&gt; &lt;D-Tab&gt;</pre>
-
 		<p>Open frequently used applications:</p>
 		<pre class="code code-block margin-bottom-1.8 font-size-0.8">
 cmd &lt;Up&gt;       open -a Terminal
-- 
cgit v1.2.3