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

diff: do force line numbers in editor

Browse Source 
this setting is managed by SetEditorSettingsAction. If it isn't, let's keep the defaults.
This commit is contained in:
Aleksey Pivovarov
2015-12-03 13:24:16 +03:00
parent a457a20b0b
commit fdd222464e
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/diff-impl/src/com/intellij/diff/util/DiffUtil.java
-1
View File
@@ -172,7 +172,6 @@ public class DiffUtil {
editor.putUserData(DiffManagerImpl.EDITOR_IS_DIFF_KEY, Boolean.TRUE);
editor.getSettings().setLineNumbersShown(true);
editor.getSettings().setShowIntentionBulb(false);
((EditorMarkupModel)editor.getMarkupModel()).setErrorStripeVisible(true);
editor.getGutterComponentEx().setShowDefaultGutterPopup(false);