From 0854d21b0b84b158806436b6c955a58bd3971b24 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Mon, 18 Dec 2017 19:08:32 +0100
Subject: [PATCH] mysql-workbench: add shortcuts (closes #1916)

---
 mysql-workbench.json | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/mysql-workbench.json b/mysql-workbench.json
index 383204e204..f12115f61a 100644
--- a/mysql-workbench.json
+++ b/mysql-workbench.json
@@ -25,5 +25,11 @@
         "MySQLWorkbench.exe",
         "mysql.exe",
         "mysqldump.exe"
+    ],
+    "shortcuts": [
+        [
+            "MySQLWorkbench.exe",
+            "MySQLWorkbench"
+        ]
     ]
 }