MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 15:09:39 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix field may be static

Browse Source 
GitOrigin-RevId: 67068e185c1694b3abb418bf4e237e7101fc9f18
This commit is contained in:
Bart van Helvert
2023-09-11 18:59:32 +02:00
committed by intellij-monorepo-bot
parent ee49fdfa2d
commit 9cb9954ac3
1 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -16,20 +16,22 @@ import javax.swing.event.TableColumnModelEvent;
import javax.swing.event.TableColumnModelListener;
import javax.swing.table.TableColumn;
import java.awt.*;
import java.util.*;
import java.util.HashSet;
import java.util.Objects;
import java.util.Set;
public class TableFilterHeader extends AdditionalTableHeader {
/** Flag to handle instant filtering support. */
private final boolean instantFilteringEnabled = FilterSettings.instantFiltering;
private static final boolean instantFilteringEnabled = FilterSettings.instantFiltering;
/** Flag to handle auto completion support. */
private final boolean autoCompletionEnabled = FilterSettings.autoCompletion;
private static final boolean autoCompletionEnabled = FilterSettings.autoCompletion;
/** This is the total max number of visible rows (history PLUS choices). */
private final int maxHistory = FilterSettings.maxPopupHistory;
private static final int maxHistory = FilterSettings.maxPopupHistory;
/** Setting to add / decrease height to the filter row. */
private final int filterRowHeightDelta = FilterSettings.filterRowHeightDelta;
private static final int filterRowHeightDelta = FilterSettings.filterRowHeightDelta;
/**
* The privately owned instance of FiltersHandler that conforms the filter