fix footer

Jason Laster · Jason Laster · commit d971094b4bf7 · 2016-09-19T18:43:37.000-04:00
diff --git a/public/js/components/Editor.css b/public/js/components/Editor.css
@@ -38,7 +38,7 @@
 .editor-mount,
 .CodeMirror {
   width: 100%;
-  height: calc(100% - 31px);
+  height: 100%;
   background-color: var(--theme-body-background);
 }
 
diff --git a/public/js/components/SourceFooter.js b/public/js/components/SourceFooter.js
@@ -96,7 +96,7 @@ const SourceFooter = React.createClass({
         (!isEnabled("prettyPrint")
           && !isEnabled("blackBox")
           && !isEnabled("search"))) {
-      return null;
+      return dom.div({ className: "source-footer" });
     }
 
     return dom.div({ className: "source-footer" },

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@`
`38`	`38`	`.editor-mount,`
`39`	`39`	`.CodeMirror {`
`40`	`40`	`width: 100%;`
`41`		`- height: calc(100% - 31px);`
	`41`	`+ height: 100%;`
`42`	`42`	`background-color: var(--theme-body-background);`
`43`	`43`	`}`
`44`	`44`
Original file line number	Diff line number	Diff line change
`@@ -96,7 +96,7 @@ const SourceFooter = React.createClass({`
`96`	`96`	`(!isEnabled("prettyPrint")`
`97`	`97`	`&& !isEnabled("blackBox")`
`98`	`98`	`&& !isEnabled("search"))) {`
`99`		`- return null;`
	`99`	`+ return dom.div({ className: "source-footer" });`
`100`	`100`	`}`
`101`	`101`
`102`	`102`	`return dom.div({ className: "source-footer" },`