From 7a0290057e9170f68801b99862ad33f1e2775403 Mon Sep 17 00:00:00 2001
From: Grandschtroumpf <francois.guezengar@hotmail.fr>
Date: Tue, 23 Jul 2019 09:35:20 +0200
Subject: [PATCH] Source highlighter is now editor

---
 src/app/editor/SourceHighlighters.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/app/editor/SourceHighlighters.js b/src/app/editor/SourceHighlighters.js
index 2d4b6a9d7c..623840d0f2 100644
--- a/src/app/editor/SourceHighlighters.js
+++ b/src/app/editor/SourceHighlighters.js
@@ -5,8 +5,8 @@ import { Plugin } from '@remixproject/engine'
 import * as packageJson from '../../../package.json'
 
 const profile = {
-  displayName: 'source highlighters',
-  name: 'sourceHighlighters',
+  displayName: 'Editor',
+  name: 'editor',
   description: 'service - highlight source code',
   version: packageJson.version,
   methods: ['highlight', 'discardHighlight']