Changeset 139634 in webkit


Ignore:
Timestamp:
Jan 14, 2013 11:43:42 AM (11 years ago)
Author:
yurys@chromium.org
Message:

[REGRESSION] Dev Tools popup for Workers forgets sizes/shows tiny in top left
https://bugs.webkit.org/show_bug.cgi?id=106807

Reviewed by Pavel Feldman.

Open dedicated worker inspector 600x600 by default and remember its size
after resizing.

  • inspector/front-end/Settings.js:
  • inspector/front-end/WorkerManager.js:
Location:
trunk/Source/WebCore
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • trunk/Source/WebCore/ChangeLog

    r139622 r139634  
     12013-01-14  Yury Semikhatsky  <yurys@chromium.org>
     2
     3        [REGRESSION] Dev Tools popup for Workers forgets sizes/shows tiny in top left
     4        https://bugs.webkit.org/show_bug.cgi?id=106807
     5
     6        Reviewed by Pavel Feldman.
     7
     8        Open dedicated worker inspector 600x600 by default and remember its size
     9        after resizing.
     10
     11        * inspector/front-end/Settings.js:
     12        * inspector/front-end/WorkerManager.js:
     13
    1142013-01-14  Kentaro Hara  <haraken@chromium.org>
    215
  • trunk/Source/WebCore/inspector/front-end/Settings.js

    r137154 r139634  
    116116    this.emulatedCSSMedia = this.createSetting("emulatedCSSMedia", "print");
    117117    this.showToolbarIcons = this.createSetting("showToolbarIcons", false);
     118    this.workerInspectorWidth = this.createSetting("workerInspectorWidth", 600);
     119    this.workerInspectorHeight = this.createSetting("workerInspectorHeight", 600);
    118120
    119121    // If there are too many breakpoints in a storage, it is likely due to a recent bug that caused
  • trunk/Source/WebCore/inspector/front-end/WorkerManager.js

    r130149 r139634  
    172172        url = url.replace("docked=true&", "");
    173173        url += hash;
     174        var width = WebInspector.settings.workerInspectorWidth.get();
     175        var height = WebInspector.settings.workerInspectorHeight.get();
    174176        // Set location=0 just to make sure the front-end will be opened in a separate window, not in new tab.
    175         var workerInspectorWindow = window.open(url, undefined, "location=0");
     177        var workerInspectorWindow = window.open(url, undefined, "location=0,width=" + width + ",height=" + height);
     178        workerInspectorWindow.addEventListener("resize", this._onWorkerInspectorResize.bind(this, workerInspectorWindow), false);
    176179        this._workerIdToWindow[workerId] = workerInspectorWindow;
    177180        workerInspectorWindow.addEventListener("beforeunload", this._workerInspectorClosing.bind(this, workerId), true);
     
    203206            WorkerAgent.disconnectFromWorker(parseInt(workerId, 10));
    204207        }
     208    },
     209
     210    _onWorkerInspectorResize: function(workerInspectorWindow)
     211    {
     212        var doc = workerInspectorWindow.document;
     213        WebInspector.settings.workerInspectorWidth.set(doc.width);
     214        WebInspector.settings.workerInspectorHeight.set(doc.height);
    205215    },
    206216
Note: See TracChangeset for help on using the changeset viewer.