MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 06:50:54 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fixed for "Mismatched query and update of collection" inspection, as there is no add operation for the observers field

Browse Source 
GitOrigin-RevId: 8f680ba974b5c29a6f142023f6573e2ef480300a
This commit is contained in:
Natalia.Murycheva
2024-07-15 11:05:27 +02:00
committed by intellij-monorepo-bot
parent 5f456620a0
commit f0bd4d3f5c
1 changed files with 2 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
notebooks/visualization/src/org/jetbrains/plugins/notebooks/visualization/r/inlays/table/filters/gui/TableFilterHeader.java
View File

@@ -16,9 +16,7 @@ import javax.swing.event.TableColumnModelEvent;
import javax.swing.event.TableColumnModelListener;
import javax.swing.table.TableColumn;
import java.awt.*;
import java.util.HashSet;
import java.util.Objects;
import java.util.Set;
public class TableFilterHeader extends AdditionalTableHeader {
/** Flag to handle instant filtering support. */
@@ -39,10 +37,7 @@ public class TableFilterHeader extends AdditionalTableHeader {
*/
private final AbstractFiltersHandler filtersHandler;
/** The set of currently subscribed observers. */
private final Set<IFilterHeaderObserver> observers = new HashSet<>();
/** Basic constructor, requires an attached table. */
/** Basic constructor requires an attached table. */
public TableFilterHeader() {
this(null, null, null);
}
@@ -299,10 +294,6 @@ public class TableFilterHeader extends AdditionalTableHeader {
add(editor, BorderLayout.CENTER);
editor.getFilter().addFilterObserver(this);
for (IFilterHeaderObserver observer : observers) {
observer.tableFilterEditorCreated(TableFilterHeader.this,
editor, tc);
}
this.editor = editor;
tc.addPropertyChangeListener(this);
@@ -314,10 +305,6 @@ public class TableFilterHeader extends AdditionalTableHeader {
filtersHandler.removeFilterEditor(editor);
remove(editor);
editor.getFilter().removeFilterObserver(this);
for (IFilterHeaderObserver observer : observers) {
observer.tableFilterEditorExcluded(
TableFilterHeader.this, editor, getTableColumn());
}
}
getTableColumn().removePropertyChangeListener(this);
@@ -330,13 +317,7 @@ public class TableFilterHeader extends AdditionalTableHeader {
revalidate();
}
@Override public void filterUpdated(IFilter obs) {
if (editor != null) { // avoid sending the first update
for (IFilterHeaderObserver observer : observers) {
observer.tableFilterUpdated(TableFilterHeader.this, editor, getTableColumn());
}
}
}
@Override public void filterUpdated(IFilter obs) {}
}
}
}