нечувствительность фильтров заголовков к регистру
This commit is contained in:
1
.idea/workspace.xml
generated
1
.idea/workspace.xml
generated
@@ -8,7 +8,6 @@
|
|||||||
<component name="ChangeListManager">
|
<component name="ChangeListManager">
|
||||||
<list default="true" id="e42177c3-2328-4b27-8a01-35779b2beb99" name="Default Changelist" comment="">
|
<list default="true" id="e42177c3-2328-4b27-8a01-35779b2beb99" name="Default Changelist" comment="">
|
||||||
<change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
|
<change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
|
||||||
<change beforePath="$PROJECT_DIR$/src/_VisualDVM/GlobalData/Tasks/CompilationTask/UI/CompilationTasksForm.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/_VisualDVM/GlobalData/Tasks/CompilationTask/UI/CompilationTasksForm.java" afterDir="false" />
|
|
||||||
</list>
|
</list>
|
||||||
<option name="SHOW_DIALOG" value="false" />
|
<option name="SHOW_DIALOG" value="false" />
|
||||||
<option name="HIGHLIGHT_CONFLICTS" value="true" />
|
<option name="HIGHLIGHT_CONFLICTS" value="true" />
|
||||||
|
|||||||
@@ -29,7 +29,7 @@ public class HeaderTextFilter<D extends DBObject> implements DBObjectFilter_<D>
|
|||||||
@Override
|
@Override
|
||||||
public boolean Validate(D object) {
|
public boolean Validate(D object) {
|
||||||
Object field = dataSet.getUI().getFieldAt(object, columnIndex);
|
Object field = dataSet.getUI().getFieldAt(object, columnIndex);
|
||||||
return (field instanceof String) && field.toString().contains(filterValue);
|
return (field instanceof String) && field.toString().toLowerCase().contains(filterValue);
|
||||||
}
|
}
|
||||||
//---
|
//---
|
||||||
public void Mount(DataTable control) {
|
public void Mount(DataTable control) {
|
||||||
@@ -108,6 +108,6 @@ public class HeaderTextFilter<D extends DBObject> implements DBObjectFilter_<D>
|
|||||||
return filterValue;
|
return filterValue;
|
||||||
}
|
}
|
||||||
public void setFilterValue(String filterValue_in) {
|
public void setFilterValue(String filterValue_in) {
|
||||||
this.filterValue = filterValue_in;
|
this.filterValue = filterValue_in.toLowerCase();
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user