diff --git a/src/app/components/swap-panel-component.js b/src/app/components/swap-panel-component.js index 47c433bbb02..3431fe2cc65 100644 --- a/src/app/components/swap-panel-component.js +++ b/src/app/components/swap-panel-component.js @@ -77,7 +77,7 @@ const css = csjs` } .plugItIn { display : none; - height: calc(100% - 50px); + height : 100%; } .plugItIn > div { overflow-y : auto; @@ -95,8 +95,8 @@ const css = csjs` text-transform: uppercase; } .swapitHeader { - height: 50px; - padding-top: 16px; + height: 35px; + padding-top: 10px; padding-left: 27px; } ` diff --git a/src/app/editor/editor.js b/src/app/editor/editor.js index 83fd681783a..2750ecdd40d 100644 --- a/src/app/editor/editor.js +++ b/src/app/editor/editor.js @@ -276,7 +276,10 @@ class Editor { * @param {number} incr The amount of pixels to add to the font. */ editorFontSize (incr) { - this.editor.setFontSize(this.editor.getFontSize() + incr) + let newSize = this.editor.getFontSize() + incr + if (newSize >= 6) { + this.editor.setFontSize(newSize) + } } /** diff --git a/src/app/panels/styles/terminal-styles.js b/src/app/panels/styles/terminal-styles.js index 184e127ab53..58d91cc8fcc 100644 --- a/src/app/panels/styles/terminal-styles.js +++ b/src/app/panels/styles/terminal-styles.js @@ -34,7 +34,8 @@ var css = csjs` } .toggleTerminal { margin-right : 20px; - margin-left : 4px; + margin-left : 2px; + margin-top : 2px; font-size : 14px; font-weight : bold; cursor : pointer; diff --git a/src/app/panels/tab-proxy.js b/src/app/panels/tab-proxy.js index 48d40549cca..23b6f761677 100644 --- a/src/app/panels/tab-proxy.js +++ b/src/app/panels/tab-proxy.js @@ -102,18 +102,12 @@ export class TabProxy { this._view.filetabs.canAdd = false this._view.tabs = yo` -