From 33117e2ffa85947341e204c173d047c99e48df32 Mon Sep 17 00:00:00 2001
From: Dmitry Batrak <Dmitry.Batrak@jetbrains.com>
Date: Fri, 20 Nov 2015 15:11:08 +0300
Subject: [PATCH] revert accidentally committed change

---
 .../openapi/fileEditor/impl/text/TextEditorProvider.java        | 2 --
 1 file changed, 2 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/text/TextEditorProvider.java b/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/text/TextEditorProvider.java
index 6f8b58fa0bff..d14bd13505ca 100644
--- a/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/text/TextEditorProvider.java
+++ b/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/text/TextEditorProvider.java
@@ -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();
         }
       }
     });