Update SourceHighlighters.js

pull/1/head
yann300 6 years ago committed by GitHub
parent 9270d958b3
commit 47ac61a519
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 3
      src/app/editor/SourceHighlighters.js

@ -9,7 +9,8 @@ class SourceHighlighters {
profile () { profile () {
return { return {
name: 'source highlighters', displayName: 'source highlighters',
name: 'sourceHighlighters',
methods: ['highlight', 'discardHighlight'], methods: ['highlight', 'discardHighlight'],
description: 'service - highlight source code' description: 'service - highlight source code'
} }

Loading…
Cancel
Save