terminal menu styleing correction

standard fix
pull/1/head
LianaHus 6 years ago
parent fc31b3f332
commit 28c43e330b
  1. 2
      src/app/panels/styles/terminal-styles.js
  2. 4
      src/app/panels/tab-proxy.js
  3. 2
      src/app/panels/terminal.js
  4. 2
      src/app/tabs/debugger-tab.js
  5. 4
      src/app/ui/styles/dropdown-styles.js

@ -128,7 +128,6 @@ var css = csjs`
height : 65%; height : 65%;
} }
.pendingTx { .pendingTx {
border : 1px solid var(--secondary);
border-radius : 50%; border-radius : 50%;
margin-right : 30px; margin-right : 30px;
min-width : 13px; min-width : 13px;
@ -137,6 +136,7 @@ var css = csjs`
justify-content : center; justify-content : center;
align-items : center; align-items : center;
font-size : 14px; font-size : 14px;
user-select : none;
} }
.dragbarHorizontal { .dragbarHorizontal {
position : absolute; position : absolute;

@ -27,7 +27,7 @@ export class TabProxy {
this._view.filetabs.activateTab(file) this._view.filetabs.activateTab(file)
return return
} }
this.addTab(file, "", () => { this.addTab(file, '', () => {
this.fileManager.switchFile(file) this.fileManager.switchFile(file)
this.event.emit('switchFile', file) this.event.emit('switchFile', file)
}, },
@ -39,7 +39,7 @@ export class TabProxy {
fileManager.events.on('fileRenamed', (oldName, newName) => { fileManager.events.on('fileRenamed', (oldName, newName) => {
this.removeTab(oldName) this.removeTab(oldName)
this.addTab(newName, "", () => { this.addTab(newName, '', () => {
this.fileManager.switchFile(newName) this.fileManager.switchFile(newName)
this.event.emit('switchFile', newName) this.event.emit('switchFile', newName)
}, },

@ -127,7 +127,7 @@ class Terminal {
` `
self._view.icon = yo` self._view.icon = yo`
<i onmouseenter=${hover} onmouseleave=${hover} onmousedown=${minimize} <i onmouseenter=${hover} onmouseleave=${hover} onmousedown=${minimize}
class="btn btn-secondary align-items-center ${css.toggleTerminal} fa fa-angle-double-down"></i>` class="btn btn-secondary btn-sm align-items-center ${css.toggleTerminal} fa fa-angle-double-down"></i>`
self._view.dragbar = yo` self._view.dragbar = yo`
<div onmousedown=${mousedown} class=${css.dragbarHorizontal}></div>` <div onmousedown=${mousedown} class=${css.dragbarHorizontal}></div>`
self._view.dropdown = self._components.dropdown.render() self._view.dropdown = self._components.dropdown.render()

@ -5,7 +5,7 @@ var DebuggerUI = require('../debugger/debuggerUI')
import { BaseApi } from 'remix-plugin' import { BaseApi } from 'remix-plugin'
const profile = { displayName: 'Debugger', const profile = {
name: 'debugger', name: 'debugger',
displayName: 'Debuggerr', displayName: 'Debuggerr',
methods: [], methods: [],

@ -8,6 +8,8 @@ var css = csjs`
flex-direction : column; flex-direction : column;
margin-left : 10px; margin-left : 10px;
width : auto; width : auto;
margin-top : 2px;
max-height : 24px;
} }
.selectbox { .selectbox {
display : flex; display : flex;
@ -31,7 +33,7 @@ var css = csjs`
display : flex; display : flex;
flex-direction : column; flex-direction : column;
align-items : end; align-items : end;
top : 32px; top : 23px;
left : 0; left : 0;
width : 245px; width : 245px;
border : 1px solid var(--dark); border : 1px solid var(--dark);

Loading…
Cancel
Save