pull/1/head
Grandschtroumpf 6 years ago
parent a0b82cc872
commit ac689bb0f0
  1. 4
      src/app/editor/SourceHighlighters.js
  2. 2
      src/app/tabs/compile-tab.js

@ -5,11 +5,11 @@ import { EditorApi } from 'remix-plugin'
const profile = {
displayName: 'source highlighters',
name: 'sourceHighlighters',
name: 'editor',
description: 'service - highlight source code'
}
// EditorApi:
// EditorApi:
// - methods: ['highlight', 'discardHighlight'],
class SourceHighlighters extends EditorApi {

@ -28,7 +28,7 @@ const profile = {
permission: true
}
// EditorApi:
// EditorApi:
// - events: ['compilationFinished'],
// - methods: ['getCompilationResult']

Loading…
Cancel
Save