| Index: plugins/org.chromium.sdk.wipbackend.wk120709/src-wip-generated/org/chromium/sdk/internal/wip/protocol/output/dom/DiscardSearchResultsParams.java
|
| diff --git a/plugins/org.chromium.sdk.wipbackend.wk120709/src-wip-generated/org/chromium/sdk/internal/wip/protocol/output/dom/DiscardSearchResultsParams.java b/plugins/org.chromium.sdk.wipbackend.wk120709/src-wip-generated/org/chromium/sdk/internal/wip/protocol/output/dom/DiscardSearchResultsParams.java
|
| deleted file mode 100644
|
| index 6e60b3cc789e6a88bdc2648af2f5cffe885d4683..0000000000000000000000000000000000000000
|
| --- a/plugins/org.chromium.sdk.wipbackend.wk120709/src-wip-generated/org/chromium/sdk/internal/wip/protocol/output/dom/DiscardSearchResultsParams.java
|
| +++ /dev/null
|
| @@ -1,24 +0,0 @@
|
| -// Generated source.
|
| -// Generator: org.chromium.sdk.internal.wip.tools.protocolgenerator.Generator
|
| -// Origin: http://svn.webkit.org/repository/webkit/trunk/Source/WebCore/inspector/Inspector.json@101756
|
| -
|
| -package org.chromium.sdk.internal.wip.protocol.output.dom;
|
| -
|
| -/**
|
| -Discards search results from the session with the given id. <code>getSearchResults</code> should no longer be called for that search.
|
| - */
|
| -public class DiscardSearchResultsParams extends org.chromium.sdk.internal.wip.protocol.output.WipParams {
|
| - /**
|
| - @param searchId Unique search session identifier.
|
| - */
|
| - public DiscardSearchResultsParams(String searchId) {
|
| - this.put("searchId", searchId);
|
| - }
|
| -
|
| - public static final String METHOD_NAME = org.chromium.sdk.internal.wip.protocol.BasicConstants.Domain.DOM + ".discardSearchResults";
|
| -
|
| - @Override protected String getRequestName() {
|
| - return METHOD_NAME;
|
| - }
|
| -
|
| -}
|
|
|