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

VCS: changes | local : save splitter proportion in projectClosed(), not in dispose()

Browse Source
This commit is contained in:
irengrig
2012-05-30 19:17:32 +04:00
parent 90388bdb29
commit 57428b841a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/vcs-impl/src/com/intellij/openapi/vcs/changes/ChangesViewManager.java
+1 -1
View File
@@ -223,6 +223,7 @@ public class ChangesViewManager implements ChangesViewI, JDOMExternalizable, Pro
}
public void projectClosed() {
PropertiesComponent.getInstance().setValue(DETAILS_SPLITTER_PROPORTION, String.valueOf(mySplitter.getProportion()));
if (myToggleDetailsAction.isSelected(null)) {
myListenersForShortDiff.off();
}
@@ -567,7 +568,6 @@ public class ChangesViewManager implements ChangesViewI, JDOMExternalizable, Pro
@Override
public void disposeComponent() {
PropertiesComponent.getInstance().setValue(DETAILS_SPLITTER_PROPORTION, String.valueOf(mySplitter.getProportion()));
}
@Override