mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
slightly change DiffPanel interface
This commit is contained in:
@@ -15,13 +15,15 @@
|
||||
*/
|
||||
package com.intellij.openapi.diff;
|
||||
|
||||
public interface DiffPanel extends DiffViewer {
|
||||
import com.intellij.openapi.Disposable;
|
||||
|
||||
/**
|
||||
* @author Konstantin Bulenkov
|
||||
*/
|
||||
public interface DiffPanel extends DiffViewer, Disposable {
|
||||
void setTitle1(String title);
|
||||
void setTitle2(String title);
|
||||
void setContents(DiffContent content1, DiffContent content2);
|
||||
|
||||
void setRequestFocus(boolean requestFocus);
|
||||
boolean hasDifferences();
|
||||
|
||||
void dispose();
|
||||
}
|
||||
|
||||
@@ -386,7 +386,7 @@ public class DiffPanelImpl implements DiffPanelEx, ContentChangeListener, TwoSid
|
||||
}
|
||||
}
|
||||
|
||||
public void setIsRequestFocus(boolean isRequestFocus) {
|
||||
public void setRequestFocus(boolean isRequestFocus) {
|
||||
myIsRequestFocus = isRequestFocus;
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user