Changeset 63741 in webkit


Ignore:
Timestamp:
Jul 20, 2010 5:21:02 AM (14 years ago)
Author:
apavlov@chromium.org
Message:

2010-07-20 Alexander Pavlov <apavlov@chromium.org>

Reviewed by Pavel Feldman.

Inspector: Resources Search Should Search Only Filtered Resources
https://bugs.webkit.org/show_bug.cgi?id=28290

  • inspector/front-end/AbstractTimelinePanel.js: (WebInspector.AbstractTimelinePanel.prototype._updateFilter):
  • inspector/front-end/ResourcesPanel.js: (WebInspector.ResourcesPanel.prototype.get searchableViews):
  • inspector/front-end/inspector.js: (WebInspector.performSearch): (WebInspector.doPerformSearch):
Location:
trunk/WebCore
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/WebCore/ChangeLog

    r63739 r63741  
     12010-07-20  Alexander Pavlov  <apavlov@chromium.org>
     2
     3        Reviewed by Pavel Feldman.
     4
     5        Inspector: Resources Search Should Search Only Filtered Resources
     6        https://bugs.webkit.org/show_bug.cgi?id=28290
     7
     8        * inspector/front-end/AbstractTimelinePanel.js:
     9        (WebInspector.AbstractTimelinePanel.prototype._updateFilter):
     10        * inspector/front-end/ResourcesPanel.js:
     11        (WebInspector.ResourcesPanel.prototype.get searchableViews):
     12        * inspector/front-end/inspector.js:
     13        (WebInspector.performSearch):
     14        (WebInspector.doPerformSearch):
     15
    1162010-07-20  Alexander Pavlov  <apavlov@chromium.org>
    217
  • trunk/WebCore/inspector/front-end/AbstractTimelinePanel.js

    r62647 r63741  
    203203        // in blank graph under all the resources.
    204204        this.containerElement.scrollTop = 0;
     205
     206        var searchField = document.getElementById("search");
     207        WebInspector.doPerformSearch(searchField.value, WebInspector.shortSearchWasForcedByKeyEvent, false, true);
    205208    },
    206209
  • trunk/WebCore/inspector/front-end/ResourcesPanel.js

    r63557 r63741  
    229229        for (var i = 0; i < resourcesLength; ++i) {
    230230            var resource = this._resources[i];
    231             if (!resource._itemsTreeElement)
     231            if (!resource._itemsTreeElement || !resource._itemsTreeElement.selectable)
    232232                continue;
    233233            var resourceView = this.resourceViewForResource(resource);
  • trunk/WebCore/inspector/front-end/inspector.js

    r63558 r63741  
    18441844WebInspector.performSearch = function(event)
    18451845{
    1846     var query = event.target.value;
    18471846    var forceSearch = event.keyIdentifier === "Enter";
     1847    this.doPerformSearch(event.target.value, forceSearch, event.shiftKey, false);
     1848}
     1849
     1850WebInspector.doPerformSearch = function(query, forceSearch, isBackwardSearch, repeatSearch)
     1851{
    18481852    var isShortSearch = (query.length < 3);
    18491853
     
    18771881    }
    18781882
    1879     if (query === this.currentPanel.currentQuery && this.currentPanel.currentQuery === this.currentQuery) {
     1883    if (!repeatSearch && query === this.currentPanel.currentQuery && this.currentPanel.currentQuery === this.currentQuery) {
    18801884        // When this is the same query and a forced search, jump to the next
    18811885        // search result for a good user experience.
    18821886        if (forceSearch) {
    1883             var backward = event.shiftKey;
    1884             if (!backward && this.currentPanel.jumpToNextSearchResult)
     1887            if (!isBackwardSearch && this.currentPanel.jumpToNextSearchResult)
    18851888                this.currentPanel.jumpToNextSearchResult();
    1886             else if (backward && this.currentPanel.jumpToPreviousSearchResult)
     1889            else if (isBackwardSearch && this.currentPanel.jumpToPreviousSearchResult)
    18871890                this.currentPanel.jumpToPreviousSearchResult();
    18881891        }
Note: See TracChangeset for help on using the changeset viewer.