Update SourceHightlighters

pull/3094/head
Grandschtroumpf 6 years ago
parent d70eedc6a5
commit 19df744331
  1. 4
      src/app/editor/SourceHighlighters.js
  2. 4
      src/app/tabs/compile-tab.js

@ -6,10 +6,12 @@ import { EditorApi } from 'remix-plugin'
const profile = {
displayName: 'source highlighters',
name: 'sourceHighlighters',
methods: ['highlight', 'discardHighlight'],
description: 'service - highlight source code'
}
// EditorApi:
// - methods: ['highlight', 'discardHighlight'],
class SourceHighlighters extends EditorApi {
constructor () {

@ -28,6 +28,10 @@ const profile = {
permission: true
}
// EditorApi:
// - events: ['compilationFinished'],
// - methods: ['getCompilationResult']
class CompileTab extends CompilerApi {
constructor (editor, config, renderer, swarmfileProvider, fileManager, fileProviders, pluginManager) {

Loading…
Cancel
Save