remove refresh on no fileselected

comment
pull/3094/head
LianaHus 6 years ago
parent 687abaf530
commit 5bc88c8e48
  1. 1
      src/app/tabs/analysis-tab.js
  2. 1
      src/app/tabs/compile-tab.js
  3. 2
      src/app/tabs/compileTab/compilerContainer.js

@ -34,6 +34,7 @@ class AnalysisTab extends BaseApi {
} else if (count === 0) {
this.events.emit('statusChanged', {key: 'success', title: 'no warning', type: 'success'})
} else {
// count ==-1 no compilation result
this.events.emit('statusChanged', {key: 'none'})
}
})

@ -106,7 +106,6 @@ class CompileTab extends CompilerApi {
this.fileManager.events.on('noFileSelected', () => {
this.compilerContainer.currentFile = ''
cleanupErrors()
onContentChanged()
})
const cleanupErrors = () => {

@ -100,7 +100,7 @@ class CompilerContainer {
var displayed = name === '' ? '<no file selected>' : name
var el = yo`
<div class="${css.compilerArticle}">
<button class="btn btn-primary btn-block" title="Compile" onclick="${this.compile.bind(this)}">
<button class="btn btn-primary btn-block ${name === '' ? 'disabled' : ''}" title="Compile" onclick="${this.compile.bind(this)}">
<span>${this._view.compileIcon} Compile ${displayed}</span>
</button>
</div>`

Loading…
Cancel
Save