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 accidentally committed change

Browse Source
This commit is contained in:
Dmitry Batrak
2015-11-20 15:11:08 +03:00
parent 45d564eb0b
commit 33117e2ffa
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/text/TextEditorProvider.java
-2
View File
@@ -295,12 +295,10 @@ 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();
}
}
});