Changeset 26922 in webkit


Ignore:
Timestamp:
Oct 23, 2007 11:11:16 AM (17 years ago)
Author:
weinig
Message:

Reviewed by Tim Hatcher.

Add resizing of the DOM view right sidebar. This allows us to actually see the values now.

  • page/inspector/ResourcePanel.js:
  • page/inspector/inspector.css:
  • page/inspector/inspector.js:
  • page/inspector/utilities.js:
Location:
trunk/WebCore
Files:
5 edited

Legend:

Unmodified
Added
Removed
  • trunk/WebCore/ChangeLog

    r26921 r26922  
     12007-10-23  Sam Weinig  <sam@webkit.org>
     2
     3        Reviewed by Tim Hatcher.
     4
     5        Add resizing of the DOM view right sidebar.  This allows us to actually see the values now.
     6
     7        * page/inspector/ResourcePanel.js:
     8        * page/inspector/inspector.css:
     9        * page/inspector/inspector.js:
     10        * page/inspector/utilities.js:
     11
    1122007-10-23  David Hyatt  <hyatt@apple.com>
    213
  • trunk/WebCore/page/inspector/ResourcePanel.js

    r26842 r26922  
    272272            this.views.dom.contentElement.treeContentElement.appendChild(this.views.dom.contentElement.treeListElement);
    273273
     274            this.views.dom.contentElement.resizeArea = document.createElement("div");
     275            this.views.dom.contentElement.resizeArea.className = "sidebarResizeArea";
     276            this.views.dom.contentElement.resizeArea.addEventListener("mousedown", function(event) { panel.rightSidebarResizerDragStart(event) }, false);
     277
    274278            this.views.dom.contentElement.appendChild(this.views.dom.contentElement.sideContentElement);
    275279            this.views.dom.contentElement.appendChild(this.views.dom.contentElement.sidebarElement);
     280            this.views.dom.contentElement.appendChild(this.views.dom.contentElement.resizeArea);
    276281
    277282            this.rootDOMNode = this.resource.documentNode;
     
    9981003        if (this.domTreeOutline && this.currentView && this.currentView === this.views.dom)
    9991004            this.domTreeOutline.handleKeyEvent(event);
     1005    },
     1006
     1007    rightSidebarResizerDragStart: function(event)
     1008    {
     1009        var panel = this;
     1010        WebInspector.dividerDragStart(this.views.dom.contentElement.sidebarElement, function(event) { panel.rightSidebarResizerDrag(event) }, function(event) { panel.rightSidebarResizerDragEnd(event) }, event, "col-resize");
     1011    },
     1012
     1013    rightSidebarResizerDragEnd: function(event)
     1014    {
     1015        var panel = this;
     1016        WebInspector.dividerDragEnd(this.views.dom.contentElement.sidebarElement, function(event) { panel.rightSidebarResizerDrag(event) }, function(event) { panel.rightSidebarResizerDragEnd(event) }, event);
     1017    },
     1018
     1019    rightSidebarResizerDrag: function(event)
     1020    {
     1021        var rightSidebar = this.views.dom.contentElement.sidebarElement;
     1022        if (rightSidebar.dragging == true) {
     1023            var x = event.clientX + window.scrollX;
     1024
     1025            var leftSidebarWidth = document.defaultView.getComputedStyle(document.getElementById("sidebar")).getPropertyCSSValue("width").getFloatValue(CSSPrimitiveValue.CSS_PX);
     1026            var newWidth = Number.constrain(window.innerWidth - x, 100, window.innerWidth - leftSidebarWidth - 100);
     1027
     1028            if (x == newWidth)
     1029                rightSidebar.dragLastX = x;
     1030
     1031            rightSidebar.style.width = newWidth + "px";
     1032            this.views.dom.contentElement.sideContentElement.style.right = newWidth + "px";
     1033            this.views.dom.contentElement.resizeArea.style.right = (newWidth - 3) + "px";
     1034            event.preventDefault();
     1035        }
    10001036    }
    10011037}
  • trunk/WebCore/page/inspector/inspector.css

    r26842 r26922  
    19251925    margin-bottom: -35px;
    19261926}
     1927
     1928.sidebarResizeArea {
     1929    position: absolute;
     1930    top: 0;
     1931    bottom: 0;
     1932    right: 222px;
     1933    width: 5px;
     1934    z-index: 100;
     1935    cursor: col-resize;
     1936}
  • trunk/WebCore/page/inspector/inspector.js

    r26842 r26922  
    454454
    455455        var x = event.clientX + window.scrollX;
    456         var newWidth = WebInspector.constrainedWidthOfSidebar(x);
     456
     457        // FIXME: We can should come up with a better hueristic for constraining the size
     458        // of the sidebar.
     459        var newWidth = Number.constrain(x, 100, window.innerWidth - 100);
    457460
    458461        if (x == newWidth)
     
    483486    document.removeEventListener("mouseup", dividerDragEnd, true);
    484487    document.body.style.removeProperty("cursor");
    485 }
    486 
    487 WebInspector.constrainedWidthOfSidebar = function(width, minWidth, maxWidth)
    488 {
    489     // FIXME: We can should come up with a better hueristic for constraining the size
    490     // of the sidebar.
    491     if (typeof minWidth == "undefined")
    492         minWidth = 100;
    493     if (typeof maxWidth == "undefined")
    494         maxWidth = window.innerWidth - 100;
    495 
    496     if (width < minWidth)
    497         width = minWidth;
    498     else if (width > maxWidth)
    499         width = maxWidth;
    500 
    501     return width;
    502488}
    503489
  • trunk/WebCore/page/inspector/utilities.js

    r23780 r26922  
    591591    var megabytes = kilobytes / 1024;
    592592    return (Math.round(megabytes * 1000) / 1000) + "MB";
     593}
     594
     595Number.constrain = function(num, min, max)
     596{
     597    if (num < min)
     598        num = min;
     599    else if (num > max)
     600        num = max;
     601    return num;
    593602}
    594603
Note: See TracChangeset for help on using the changeset viewer.