Scoped script text search fixes

Parameters panel on Script search can be turned off in settings
This commit is contained in:
Jindra Petřík
2021-02-24 19:55:59 +01:00
parent 9cac6ddb49
commit 43baf9d178
13 changed files with 201 additions and 99 deletions
@@ -681,6 +681,10 @@ public final class Configuration {
@ConfigurationCategory("script")
public static ConfigurationItem<Boolean> warningInitializers = null;
@ConfigurationDefaultBoolean(true)
@ConfigurationCategory("ui")
public static ConfigurationItem<Boolean> parametersPanelInSearchResults = null;
private enum OSId {
WINDOWS, OSX, UNIX
}
@@ -102,6 +102,7 @@ public class ABCSearchResult implements Serializable, ScriptSearchResult {
oos.writeInt(classIndex);
oos.writeInt(traitId);
oos.flush();
oos.close();
}
public ABCSearchResult(ScriptPack scriptPack) {
@@ -66,6 +66,7 @@ public class ActionSearchResult implements ScriptSearchResult {
oos.writeUTF(path);
oos.writeBoolean(pcode);
oos.flush();
oos.close();
}
public ActionSearchResult(ASMSource src, boolean pcode, String path) {