mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
remove useless code
This commit is contained in:
-9
@@ -917,14 +917,6 @@ public class SingleInspectionProfilePanel extends JPanel {
|
||||
return myProfile;
|
||||
}
|
||||
|
||||
private void setProfile(InspectionProfileModifiableModel modifiableModel) {
|
||||
if (myProfile == modifiableModel) {
|
||||
return;
|
||||
}
|
||||
myProfile = modifiableModel;
|
||||
initToolStates();
|
||||
}
|
||||
|
||||
@Override
|
||||
public Dimension getPreferredSize() {
|
||||
return new Dimension(700, 500);
|
||||
@@ -1038,7 +1030,6 @@ public class SingleInspectionProfilePanel extends JPanel {
|
||||
|
||||
public void reset() {
|
||||
myModified = false;
|
||||
setProfile(myProfile);
|
||||
filterTree();
|
||||
final String filter = myProfileFilter.getFilter();
|
||||
myProfileFilter.reset();
|
||||
|
||||
Reference in New Issue
Block a user