Merge pull request #803 from charnpreetsingh185/terminal

Terminal Scroll Bar is set to auto

src/default-theme/terminal.less

@@ -21,6 +21,12 @@
   -webkit-user-select: text;
 }
 
+
 .terminal {
   font-family: monospace;
 }
+
+
+.terminal .xterm-viewport {
+  overflow-y: auto;
+}