From 030bc9f54c9c84e7579eb1722ed1eec76e0f825d Mon Sep 17 00:00:00 2001 From: Koong Kyungmi Date: Fri, 20 Nov 2015 15:07:32 +0900 Subject: [PATCH] [BUGFIX] (#708) After merging #706 Editor's theme has gone away --- .../src/plugins/webida.editor.text-editor/TextEditorPart.js | 5 ++--- apps/ide/src/plugins/webida.editor.text-editor/plugin.json | 6 +++--- 2 files changed, 5 insertions(+), 6 deletions(-) diff --git a/apps/ide/src/plugins/webida.editor.text-editor/TextEditorPart.js b/apps/ide/src/plugins/webida.editor.text-editor/TextEditorPart.js index 12fdc20d..c5d1bcc6 100644 --- a/apps/ide/src/plugins/webida.editor.text-editor/TextEditorPart.js +++ b/apps/ide/src/plugins/webida.editor.text-editor/TextEditorPart.js @@ -86,8 +86,7 @@ define([ var logger = new Logger(); //logger.off(); - var preferenceIds = ['texteditor', 'texteditor.lines', 'texteditor.key-map', - 'texteditor.show-hide', 'content-assist']; + var preferenceIds = ['editor', 'editor.lines', 'editor.key-map', 'editor.show-hide', 'content-assist']; //To support synchronizeWidgetModel //TODO : refactor @@ -186,7 +185,7 @@ define([ this.preferences = new EditorPreference(preferenceIds, viewer); this.preferences.setFields(this.getPreferences()); //editorconfig - this.preferences.getField('texteditor', 'webida.editor.text-editor:editorconfig', function (value) { + this.preferences.getField('editor', 'webida.editor.text-editor:editorconfig', function (value) { if (value === true) { configloader.editorconfig(viewer, file); } diff --git a/apps/ide/src/plugins/webida.editor.text-editor/plugin.json b/apps/ide/src/plugins/webida.editor.text-editor/plugin.json index a5a7b264..877201e4 100644 --- a/apps/ide/src/plugins/webida.editor.text-editor/plugin.json +++ b/apps/ide/src/plugins/webida.editor.text-editor/plugin.json @@ -29,7 +29,7 @@ }, { "module": "plugins/webida.editor.text-editor/preferences/preference-editor", - "id": "texteditor.lines", + "id": "editor.lines", "hierarchy": "editor", "name": "Lines", "page": "SimplePage", @@ -39,7 +39,7 @@ }, { "module": "plugins/webida.editor.text-editor/preferences/preference-keys", - "id": "texteditor.key-map", + "id": "editor.key-map", "hierarchy": "editor", "name": "Key Map", "page": "SimplePage", @@ -49,7 +49,7 @@ }, { "module": "plugins/webida.editor.text-editor/preferences/preference-show", - "id": "texteditor.show-hide", + "id": "editor.show-hide", "hierarchy": "editor", "name": "Show or Hide", "page": "SimplePage",