public void setConsoleEditorEnabled(boolean consoleEditorEnabled) {
if (isConsoleEditorEnabled() == consoleEditorEnabled) return;
final FileEditorManagerEx fileManager = FileEditorManagerEx.getInstanceEx(getProject());
if (consoleEditorEnabled) {
fileManager.closeFile(myVirtualFile);
myPanel.removeAll();
myPanel.add(myHistoryViewer.getComponent());
myPanel.add(myConsoleEditor.getComponent());
myHistoryViewer.setHorizontalScrollbarVisible(false);
myCurrentEditor = myConsoleEditor;
} else {
myPanel.removeAll();
myPanel.add(myHistoryViewer.getComponent(), BorderLayout.CENTER);
myHistoryViewer.setHorizontalScrollbarVisible(true);
}
}
@Override
public void dispose() {
// to remove links to editor that is in scrolling helper
myPanel.removeAll();
myHorizontal = null;
myVertical = null;
myPreviousDiff.unregisterCustomShortcutSet(myParent);
myNextDiff.unregisterCustomShortcutSet(myParent);
}
private void ensurePresentation() {
if (myCurrentHorizontal != myConfiguration.SHORT_DIFF_HORISONTALLY) {
final DiffPanel panel = getCurrentPanel();
myPanel.removeAll();
myPanel.add(myTopPanel, BorderLayout.NORTH);
myPanel.add(panel.getComponent(), BorderLayout.CENTER);
myPanel.revalidate();
myPanel.repaint();
myCurrentHorizontal = myConfiguration.SHORT_DIFF_HORISONTALLY;
}
}