Merge pull request #1711 from ethereum/yann300-patch-12

Update SourceHighlighters.js
pull/1/head
yann300 6 years ago committed by GitHub
commit 6b4228f131
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 () {
return {
name: 'source highlighters',
displayName: 'source highlighters',
name: 'sourceHighlighters',
methods: ['highlight', 'discardHighlight'],
description: 'service - highlight source code'
}

Loading…
Cancel
Save