Title: [132793] trunk/Source/WebCore
- Revision
- 132793
- Author
- [email protected]
- Date
- 2012-10-29 06:29:33 -0700 (Mon, 29 Oct 2012)
Log Message
Web Inspector: Error/warning count is one pixel off.
https://bugs.webkit.org/show_bug.cgi?id=100660
Reviewed by Pavel Feldman.
The error/warning count div had a top padding of 6. That was one pixel
too many.
* inspector/front-end/inspector.css:
(#error-warning-count):
Modified Paths
Diff
Modified: trunk/Source/WebCore/ChangeLog (132792 => 132793)
--- trunk/Source/WebCore/ChangeLog 2012-10-29 13:07:47 UTC (rev 132792)
+++ trunk/Source/WebCore/ChangeLog 2012-10-29 13:29:33 UTC (rev 132793)
@@ -1,3 +1,16 @@
+2012-10-29 Mike West <[email protected]>
+
+ Web Inspector: Error/warning count is one pixel off.
+ https://bugs.webkit.org/show_bug.cgi?id=100660
+
+ Reviewed by Pavel Feldman.
+
+ The error/warning count div had a top padding of 6. That was one pixel
+ too many.
+
+ * inspector/front-end/inspector.css:
+ (#error-warning-count):
+
2012-10-29 Shinya Kawanaka <[email protected]>
[Refactoring] Use isActiveInsertionPoint() instead of isInsertionPoint()
Modified: trunk/Source/WebCore/inspector/front-end/inspector.css (132792 => 132793)
--- trunk/Source/WebCore/inspector/front-end/inspector.css 2012-10-29 13:07:47 UTC (rev 132792)
+++ trunk/Source/WebCore/inspector/front-end/inspector.css 2012-10-29 13:29:33 UTC (rev 132793)
@@ -783,7 +783,7 @@
}
#error-warning-count {
- padding: 6px 2px 6px 0px;
+ padding: 5px 2px 6px 0px;
font-size: 10px;
height: 19px;
cursor: pointer;
_______________________________________________
webkit-changes mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo/webkit-changes
