vcs: cleanup - do not explicitly store Splitter proportions - use JBSplitter

This commit is contained in:
Aleksey Pivovarov
2016-03-29 15:02:54 +03:00
parent 3b8fcd80ea
commit 3036bf9892
@@ -22,7 +22,6 @@ import com.intellij.icons.AllIcons;
import com.intellij.ide.CommonActionsManager;
import com.intellij.ide.TreeExpander;
import com.intellij.ide.actions.ContextHelpAction;
import com.intellij.ide.util.PropertiesComponent;
import com.intellij.lifecycle.PeriodicalTasksCloser;
import com.intellij.openapi.Disposable;
import com.intellij.openapi.actionSystem.*;
@@ -35,7 +34,6 @@ import com.intellij.openapi.project.Project;
import com.intellij.openapi.ui.SimpleToolWindowPanel;
import com.intellij.openapi.ui.Splitter;
import com.intellij.openapi.util.*;
import com.intellij.openapi.util.text.StringUtil;
import com.intellij.openapi.vcs.ProjectLevelVcsManager;
import com.intellij.openapi.vcs.VcsBundle;
import com.intellij.openapi.vcs.VcsConfiguration;
@@ -45,10 +43,7 @@ import com.intellij.openapi.vcs.changes.ui.ChangesListView;
import com.intellij.openapi.vcs.changes.ui.ChangesViewContentManager;
import com.intellij.openapi.vfs.VirtualFile;
import com.intellij.psi.impl.DebugUtil;
import com.intellij.ui.IdeBorderFactory;
import com.intellij.ui.JBColor;
import com.intellij.ui.ScrollPaneFactory;
import com.intellij.ui.SideBorder;
import com.intellij.ui.*;
import com.intellij.ui.content.Content;
import com.intellij.ui.content.ContentFactory;
import com.intellij.util.Alarm;
@@ -182,7 +177,6 @@ public class ChangesViewManager implements ChangesViewI, JDOMExternalizable, Pro
}
public void projectClosed() {
PropertiesComponent.getInstance().setValue(DETAILS_SPLITTER_PROPORTION, String.valueOf(mySplitter.getProportion()));
Disposer.dispose(myDiffDetails);
myView.removeTreeSelectionListener(myTsl);
myConnection.disconnect();
@@ -242,16 +236,7 @@ public class ChangesViewManager implements ChangesViewI, JDOMExternalizable, Pro
panel.setToolbar(toolbarPanel);
final JPanel content = new JPanel(new BorderLayout());
String value = PropertiesComponent.getInstance().getValue(DETAILS_SPLITTER_PROPORTION);
float f = 0.5f;
if (! StringUtil.isEmptyOrSpaces(value)) {
try {
f = Float.parseFloat(value);
} catch (NumberFormatException e) {
//
}
}
mySplitter = new Splitter(false, f);
mySplitter = new JBSplitter(false, DETAILS_SPLITTER_PROPORTION, 0.5f);
mySplitter.setHonorComponentsMinimumSize(false);
final JScrollPane scrollPane = ScrollPaneFactory.createScrollPane(myView);
final JPanel wrapper = new JPanel(new BorderLayout());