| Index: plugins/org.chromium.sdk.wipbackend.wk120709/src-wip-generated/org/chromium/sdk/internal/wip/protocol/input/dom/PerformSearchData.java
|
| diff --git a/plugins/org.chromium.sdk.wipbackend.wk120709/src-wip-generated/org/chromium/sdk/internal/wip/protocol/input/dom/PerformSearchData.java b/plugins/org.chromium.sdk.wipbackend.wk120709/src-wip-generated/org/chromium/sdk/internal/wip/protocol/input/dom/PerformSearchData.java
|
| deleted file mode 100644
|
| index 8e4d7dfa3ffc34fcd54befc30bcc1885e4c160d9..0000000000000000000000000000000000000000
|
| --- a/plugins/org.chromium.sdk.wipbackend.wk120709/src-wip-generated/org/chromium/sdk/internal/wip/protocol/input/dom/PerformSearchData.java
|
| +++ /dev/null
|
| @@ -1,22 +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.input.dom;
|
| -
|
| -/**
|
| - Searches for a given string in the DOM tree. Use <code>getSearchResults</code> to access search results or <code>cancelSearch</code> to end this search session.
|
| - */
|
| -@org.chromium.sdk.internal.protocolparser.JsonType
|
| -public interface PerformSearchData {
|
| - /**
|
| - Unique search session identifier.
|
| - */
|
| - String searchId();
|
| -
|
| - /**
|
| - Number of search results.
|
| - */
|
| - long resultCount();
|
| -
|
| -}
|
|
|