Reviewed by Maciej.
authorthatcher <thatcher@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Fri, 29 Sep 2006 16:10:44 +0000 (16:10 +0000)
committerthatcher <thatcher@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Fri, 29 Sep 2006 16:10:44 +0000 (16:10 +0000)
commit799fb3e8740855e0bd3a0c0fbc517f3fd5c6b0cf
treeaa77612b9f38de3ed86546804702211cf8a584e3
parent410138ee8ba3b913bf51de5e318071d4e3a3a408
    Reviewed by Maciej.

        Switch the inspector over to use border-image with styled buttons and selects.

        * WebInspector/WebInspector.m:
        (-[NSWindow window]):
        (-[NSWindow setWebFrame:]):
        (-[WebInspector _updateRoot]):
        * WebInspector/webInspector/Images/button.png: Added.
        * WebInspector/webInspector/Images/buttonDivider.png: Added.
        * WebInspector/webInspector/Images/buttonPressed.png: Added.
        * WebInspector/webInspector/Images/popup.png: Added.
        * WebInspector/webInspector/Images/popupFill.png: Removed.
        * WebInspector/webInspector/Images/popupFillPressed.png: Removed.
        * WebInspector/webInspector/Images/popupLeft.png: Removed.
        * WebInspector/webInspector/Images/popupLeftPressed.png: Removed.
        * WebInspector/webInspector/Images/popupPressed.png: Added.
        * WebInspector/webInspector/Images/popupRight.png: Removed.
        * WebInspector/webInspector/Images/popupRightPressed.png: Removed.
        * WebInspector/webInspector/Images/squareButtonRight.png: Removed.
        * WebInspector/webInspector/Images/squareButtonRightPressed.png: Removed.
        * WebInspector/webInspector/inspector.css:
        * WebInspector/webInspector/inspector.html:
        * WebInspector/webInspector/inspector.js:

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@16641 268f45cc-cd09-0410-ab3c-d52691b4dbfc
18 files changed:
WebKit/ChangeLog
WebKit/WebInspector/WebInspector.m
WebKit/WebInspector/webInspector/Images/button.png [new file with mode: 0644]
WebKit/WebInspector/webInspector/Images/buttonDivider.png [new file with mode: 0644]
WebKit/WebInspector/webInspector/Images/buttonPressed.png [new file with mode: 0644]
WebKit/WebInspector/webInspector/Images/popup.png [new file with mode: 0644]
WebKit/WebInspector/webInspector/Images/popupFill.png [deleted file]
WebKit/WebInspector/webInspector/Images/popupFillPressed.png [deleted file]
WebKit/WebInspector/webInspector/Images/popupLeft.png [deleted file]
WebKit/WebInspector/webInspector/Images/popupLeftPressed.png [deleted file]
WebKit/WebInspector/webInspector/Images/popupPressed.png [new file with mode: 0644]
WebKit/WebInspector/webInspector/Images/popupRight.png [deleted file]
WebKit/WebInspector/webInspector/Images/popupRightPressed.png [deleted file]
WebKit/WebInspector/webInspector/Images/squareButtonRight.png [deleted file]
WebKit/WebInspector/webInspector/Images/squareButtonRightPressed.png [deleted file]
WebKit/WebInspector/webInspector/inspector.css
WebKit/WebInspector/webInspector/inspector.html
WebKit/WebInspector/webInspector/inspector.js