From 24255dd3fa773af541fe80dc1ba3eb15ddb9e649 Mon Sep 17 00:00:00 2001
From: Aleksey Pivovarov <AMPivovarov@gmail.com>
Date: Mon, 28 Nov 2016 12:33:19 +0300
Subject: [PATCH] vcs: remove deprecated option

---
 .../vcs-api/src/com/intellij/openapi/vcs/VcsConfiguration.java | 3 +--
 .../com/intellij/openapi/vcs/history/FileHistoryPanelImpl.java | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/platform/vcs-api/src/com/intellij/openapi/vcs/VcsConfiguration.java b/platform/vcs-api/src/com/intellij/openapi/vcs/VcsConfiguration.java
index e307d2156b2e..34e109acb966 100644
--- a/platform/vcs-api/src/com/intellij/openapi/vcs/VcsConfiguration.java
+++ b/platform/vcs-api/src/com/intellij/openapi/vcs/VcsConfiguration.java
@@ -142,8 +142,7 @@ public final class VcsConfiguration implements PersistentStateComponent<VcsConfi
   public boolean UPDATE_GROUP_BY_CHANGELIST = false;
   public boolean UPDATE_FILTER_BY_SCOPE = false;
   public boolean SHOW_FILE_HISTORY_AS_TREE = false;
-  @Deprecated
-  public float FILE_HISTORY_SPLITTER_PROPORTION = 0.6f; // to remove after 2016.3
+
   private static final int MAX_STORED_MESSAGES = 25;
   @NonNls static final String MESSAGE_ELEMENT_NAME = "MESSAGE";
 
diff --git a/platform/vcs-impl/src/com/intellij/openapi/vcs/history/FileHistoryPanelImpl.java b/platform/vcs-impl/src/com/intellij/openapi/vcs/history/FileHistoryPanelImpl.java
index 6d402211a8a6..9c2b7f69171d 100644
--- a/platform/vcs-impl/src/com/intellij/openapi/vcs/history/FileHistoryPanelImpl.java
+++ b/platform/vcs-impl/src/com/intellij/openapi/vcs/history/FileHistoryPanelImpl.java
@@ -405,7 +405,7 @@ public class FileHistoryPanelImpl extends PanelWithActionsAndCloseButton impleme
 
   @NotNull
   protected JComponent createCenterPanel() {
-    mySplitter = new OnePixelSplitter(true, "vcs.history.splitter.proportion", getConfiguration().FILE_HISTORY_SPLITTER_PROPORTION);
+    mySplitter = new OnePixelSplitter(true, "vcs.history.splitter.proportion", 0.6f);
     mySplitter.setFirstComponent(myDualView);
 
     JScrollPane scrollPane = ScrollPaneFactory.createScrollPane(myDetails);