From 64fc470cf3a3e63dfa6a5edb809c62bfb0b194aa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lorenz=20H=C3=BCbschle-Schneider?= <huebschle@kit.edu>
Date: Mon, 6 Mar 2017 15:32:35 +0100
Subject: [PATCH] Hide Alt+[0-9] checkbox on mobile

Mobile users don't typically have an Alt key
---
 index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index fb61c67..8ba0c32 100644
--- a/index.html
+++ b/index.html
@@ -484,12 +484,12 @@ npm run build-electron-{windows, darwin, linux}</pre>
                   </div>
                 </form>
               </li>
-               <li>
+              <li class="desktop">
                 <form class="form-inline" role="form">
                   <div class="checkbox">
                     <label>
                       <input type="checkbox" ng-model="settings.enableAltSwitcher">
-                      Use Alt+&lt;num&gt; to switch buffers
+                      Use Alt+[0-9] to switch buffers
                     </label>
                   </div>
                 </form>