From 24b3178574ad6864e141a016aa23d1f484fd54e8 Mon Sep 17 00:00:00 2001
From: Kushagra Gour <chinchang457@gmail.com>
Date: Sun, 5 Feb 2017 17:07:21 +0530
Subject: [PATCH] add key shortcut for auto indenting code. fixes #32

---
 src/script.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/script.js b/src/script.js
index efd8c10..a1e8de5 100644
--- a/src/script.js
+++ b/src/script.js
@@ -759,7 +759,12 @@ settingsBtn, onboardModal, notificationsBtn, onboardShowInTabOptionBtn, onboardD
 			foldGutter: true,
 			gutters: options.gutters || [],
 			// cursorScrollMargin: '20', has issue with scrolling
-			profile: options.profile || ''
+			profile: options.profile || '',
+			extraKeys: {
+				"Shift-Tab": function(cm) {
+					CodeMirror.commands.indentAuto(cm);
+				}
+			}
 		});
 		cm.on('change', function onChange() {
 			clearTimeout(updateTimer);