From c51866c2c5bb5e421ea7991e0129e3d4fcc08cda Mon Sep 17 00:00:00 2001 From: Dave C-J Date: Mon, 27 Oct 2014 15:07:34 +0000 Subject: [PATCH] =?UTF-8?q?Add=20=E2=8C=98=20Cmd=20key=20as=20alternative?= =?UTF-8?q?=20to=20Ctrl=20key=20to=20make=20Mac=20users=20happy.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- public/index.html | 3 +++ public/red/ui/keyboard.js | 6 +++--- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/public/index.html b/public/index.html index 8141b8a1a..f8f6e0d4d 100644 --- a/public/index.html +++ b/public/index.html @@ -136,6 +136,9 @@ Ctrl +Zoom in Ctrl -Zoom out + + Mac users can use the ⌘ - Cmd key rather than Ctrl key. +