mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-146998 diff: allow to change default settings in 'old diff'
was broken by f9174b7
This commit is contained in:
@@ -181,13 +181,15 @@ public class DiffPanelImpl implements DiffPanelEx, ContentChangeListener, TwoSid
|
||||
myPanel.setDataProvider(myDataProvider);
|
||||
|
||||
ComparisonPolicy comparisonPolicy = getComparisonPolicy();
|
||||
if (comparisonPolicy != DiffManagerImpl.getInstanceEx().getComparisonPolicy()) {
|
||||
setComparisonPolicy(comparisonPolicy);
|
||||
ComparisonPolicy defaultComparisonPolicy = DiffManagerImpl.getInstanceEx().getComparisonPolicy();
|
||||
if (comparisonPolicy != defaultComparisonPolicy) {
|
||||
setComparisonPolicy(defaultComparisonPolicy, false);
|
||||
}
|
||||
|
||||
HighlightMode highlightMode = getHighlightMode();
|
||||
if (highlightMode != DiffManagerImpl.getInstanceEx().getHighlightMode()) {
|
||||
setHighlightMode(highlightMode);
|
||||
HighlightMode defaultHighlightMode = DiffManagerImpl.getInstanceEx().getHighlightMode();
|
||||
if (highlightMode != defaultHighlightMode) {
|
||||
setHighlightMode(defaultHighlightMode, false);
|
||||
}
|
||||
|
||||
myVisibleAreaListener = new VisibleAreaListener() {
|
||||
|
||||
Reference in New Issue
Block a user