MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

EditorConfig preview: show whitespaces, don't show line numbers/gutter icons.

Browse Source 
GitOrigin-RevId: 5ab4691fb3ffd698a1b6ff80f9561c4c81476826
This commit is contained in:
Rustam Vishnyakov
2019-07-02 06:52:16 +03:00
committed by intellij-monorepo-bot
parent 25b1466895
commit 583e89f311
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/editorconfig/src/org/editorconfig/configmanagement/editor/EditorConfigPreviewFileEditor.java
+5
View File
@@ -6,6 +6,7 @@ import com.intellij.codeHighlighting.BackgroundEditorHighlighter;
import com.intellij.lang.Language;
import com.intellij.openapi.editor.Editor;
import com.intellij.openapi.editor.EditorFactory;
import com.intellij.openapi.editor.EditorSettings;
import com.intellij.openapi.editor.ex.EditorEx;
import com.intellij.openapi.fileEditor.FileEditor;
import com.intellij.openapi.fileEditor.FileEditorLocation;
@@ -38,6 +39,10 @@ public class EditorConfigPreviewFileEditor implements FileEditor, CodeStyleSetti
((EditorEx)myEditor).setPermanentHeaderComponent(getHeaderComponent());
}
myEditor.setHeaderComponent(getHeaderComponent());
final EditorSettings editorSettings = myEditor.getSettings();
editorSettings.setWhitespacesShown(true);
editorSettings.setGutterIconsShown(false);
editorSettings.setLineNumbersShown(false);
updateEditor();
CodeStyleSettingsManager.getInstance(myEditor.getProject()).addListener(this);
}