mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
SSR: remove unused field
This commit is contained in:
@@ -27,7 +27,6 @@ public class MatchOptions implements JDOMExternalizable {
|
||||
private Language myDialect = null;
|
||||
|
||||
private SearchScope scope;
|
||||
private SearchScope downUpMatchScope;
|
||||
private String searchCriteria = "";
|
||||
@Nullable private Map<String,MatchVariableConstraint> variableConstraints;
|
||||
|
||||
@@ -140,14 +139,6 @@ public class MatchOptions implements JDOMExternalizable {
|
||||
this.scope = scope;
|
||||
}
|
||||
|
||||
public SearchScope getDownUpMatchScope() {
|
||||
return downUpMatchScope;
|
||||
}
|
||||
|
||||
public void setDownUpMatchScope(final SearchScope downUpMatchScope) {
|
||||
this.downUpMatchScope = downUpMatchScope;
|
||||
}
|
||||
|
||||
public void writeExternal(Element element) {
|
||||
element.setAttribute(TEXT_ATTRIBUTE_NAME, searchCriteria);
|
||||
if (!looseMatching) {
|
||||
|
||||
Reference in New Issue
Block a user