diff options
author | Teddy Wing | 2018-11-15 07:47:07 +0100 |
---|---|---|
committer | Teddy Wing | 2018-11-15 07:47:07 +0100 |
commit | 468fa54779136d747aa3f7a89e98753f31bbcb63 (patch) | |
tree | 272252decd4af7459c53ed6c71aba9ec06c786c7 | |
parent | d245d58e590aa74e65e0c7ebdb62ef0dec79e3f6 (diff) | |
download | dome-key-web-468fa54779136d747aa3f7a89e98753f31bbcb63.tar.bz2 |
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.
-rw-r--r-- | index.html | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -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 <Up> <D-S-Tab> -map <Down> <D-Tab></pre> - <p>Open frequently used applications:</p> <pre class="code code-block margin-bottom-1.8 font-size-0.8"> cmd <Up> open -a Terminal |