Merge branch 'master' into newindexdb

pull/2035/head
Rob 3 years ago committed by GitHub
commit 3f5f37e46a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 8
      apps/remix-ide/src/app/panels/tab-proxy.js

@ -2,8 +2,8 @@ import React from 'react' // eslint-disable-line
import ReactDOM from 'react-dom'
import { Plugin } from '@remixproject/engine'
import { TabsUI } from '@remix-ui/tabs'
import { getPathIcon } from '@remix-ui/helper'
const EventEmitter = require('events')
const helper = require('../../lib/helper')
const profile = {
name: 'tabs',
@ -231,7 +231,7 @@ export class TabProxy extends Plugin {
title,
icon,
tooltip: name,
iconClass: helper.getPathIcon(name)
iconClass: getPathIcon(name)
})
formatPath.shift()
if (formatPath.length > 0) {
@ -247,7 +247,7 @@ export class TabProxy extends Plugin {
title: duplicateTabTitle,
icon,
tooltip: duplicateTabName,
iconClass: helper.getPathIcon(duplicateTabName)
iconClass: getPathIcon(duplicateTabName)
}
}
}
@ -261,7 +261,7 @@ export class TabProxy extends Plugin {
title,
icon,
tooltip: name,
iconClass: helper.getPathIcon(name)
iconClass: getPathIcon(name)
})
}

Loading…
Cancel
Save