From 154f1c92355fcb2888c305516ded3ee999c8d5d0 Mon Sep 17 00:00:00 2001
From: Tim Alby <timothee.alby@gmail.com>
Date: Mon, 2 Dec 2019 13:14:06 +0530
Subject: [PATCH] add help section in editor menu

GitOrigin-RevId: 45347dec29d35a601ec967efeb918302aef395d1
---
 services/web/app/views/project/editor/left-menu.pug | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/services/web/app/views/project/editor/left-menu.pug b/services/web/app/views/project/editor/left-menu.pug
index 19dec8b0e2..5fb8e1ac06 100644
--- a/services/web/app/views/project/editor/left-menu.pug
+++ b/services/web/app/views/project/editor/left-menu.pug
@@ -202,12 +202,20 @@ aside#left-menu.full-size(
 						each image in allowedImageNames
 							option(value=image.imageName) #{image.imageDesc}
 
-	h4 #{translate("hotkeys")}
+	h4 #{translate("help")}
 	ul.list-unstyled.nav
 		li(ng-controller="HotkeysController")
 			a(ng-click="openHotkeysModal()")
 				i.fa.fa-keyboard-o.fa-fw
 				| &nbsp;&nbsp; #{translate("show_hotkeys")}
+		li
+			a(href='/learn', target="_blank")
+				i.fa.fa-book.fa-fw
+				| &nbsp;&nbsp; #{translate('documentation')}
+		li
+			a(ng-controller="ContactModal", ng-click="contactUsModal()")
+				i.fa.fa-question.fa-fw
+				| &nbsp;&nbsp; #{translate("contact_us")}
 
 #left-menu-mask(
 	ng-show="ui.leftMenuShown",