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 /index.html | |
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.
Diffstat (limited to 'index.html')
-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 |