clean up input and button sizes

Author: jwcooper

public/javascripts/occ_editor.js

@@ -237,20 +237,6 @@
       return "Please confirm that you would like to leave the editor.";
     });
 
-    $(document).on('click', '#editor, #editor-bar, #navigator', function() {
-      occEditor.focus_terminal(false);
-      //if (terminal_win) {
-        //terminal_win.blur();
-      //}
-    });
-
-    editor.on('focus', function() {
-      occEditor.focus_terminal(false);
-      //if (terminal_win) {
-      //  terminal_win.blur();
-      //}
-    });
-
     editor_startup("Initializing Editor Events");
     editor.on('change', function() {
       var $file_element = $('.filesystem li.file-open');
@@ -583,12 +569,8 @@
   occEditor.focus_terminal = function(should_focus) {
     if (should_focus) {
       $('.bar').css('background-color', '#2c58bd');
-      //$('#editor-output-wrapper').css({ 'opacity' : 1 });
-      //$('#editor, #editor-bar').css({ 'opacity' : 0.95 });
     } else {
       $('.bar').css('background-color', '#323233');
-      //$('#editor-output-wrapper').css({ 'opacity' : 0.95 });
-      //$('#editor, #editor-bar').css({ 'opacity' : 1 });
     }
   };
 
@@ -808,8 +790,7 @@
 
   occEditor.send_terminal_command = function(command) {
     if (is_terminal_open) {
-      window.term.writeln(command);
-      editor.focus();
+      term.send(JSON.stringify({type: "input", data: command}));
     }
   };
 
@@ -835,7 +816,7 @@
 
     function run_command(command) {
       console.log("sending command: " + command);
-      term.send(JSON.stringify({type: "input", data: command}));
+      occEditor.send_terminal_command(command);
     }
 
     // Clean terminal

public/stylesheets/app.css

@@ -334,7 +334,7 @@ a.navigator-settings i.settings-enabled {
   color: #E4E5E7 !important;
   background-color: #087BD1;
   font-size: 11px;
-  margin: 2px 2px 0 0;
+  margin: 6px 6px 0 0;
   padding: 3px 7px 3px 7px;
   -webkit-border-radius: 3px;
      -moz-border-radius: 3px;
@@ -346,6 +346,9 @@ a.navigator-settings i.settings-enabled {
 }
 
 .create-input-wrapper input[type='text'], .rename-input-wrapper input[type='text'] {
+  width: 185px;
+  margin: 5px;
+  height: 30px;
   background-color: #FFFFFF;
   border: none;
   -webkit-box-shadow: none;
@@ -357,11 +360,6 @@ a.navigator-settings i.settings-enabled {
   transition: none;
 }
 
-.create-input-wrapper input[type='text'] {
-  width: 185px;
-  margin: 5px;
-}
-
 .rename-input-wrapper {
   width: 100%;
   padding: -2px 0 0 0;