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

revert fix for IDEA-147626

Browse Source
This commit is contained in:
Dmitry Batrak
2015-11-20 15:06:28 +03:00
parent 2f619ecf44
commit 45d564eb0b
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/text/TextEditorComponent.java
-1
View File
@@ -98,7 +98,6 @@ class TextEditorComponent extends JBLoadingPanel implements DataProvider {
myDocument.addDocumentListener(myDocumentListener);
myEditor = createEditor();
myEditor.getContentComponent().setFocusTraversalKeysEnabled(false);
add(myEditor.getComponent(), BorderLayout.CENTER);
myModified = isModifiedImpl();
myValid = isEditorValidImpl();
platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/text/TextEditorProvider.java
+2
View File
@@ -295,10 +295,12 @@ public class TextEditorProvider implements FileEditorProvider, DumbAware {
UiNotifyConnector.doWhenFirstShown(editor.getContentComponent(), new Runnable() {
public void run() {
if (!editor.isDisposed()) {
editor.getScrollingModel().disableAnimation();
if (verticalScrollProportion != -1) {
EditorUtil.setVerticalScrollProportion(editor, verticalScrollProportion);
}
editor.getScrollingModel().scrollToCaret(ScrollType.RELATIVE);
editor.getScrollingModel().enableAnimation();
}
}
});