Title: [141113] trunk/Source/WebCore
Revision
141113
Author
[email protected]
Date
2013-01-29 08:09:33 -0800 (Tue, 29 Jan 2013)

Log Message

Web Inspector: fix bottom span in token highlight in DTE
https://bugs.webkit.org/show_bug.cgi?id=108194

Patch by Andrey Lushnikov <[email protected]> on 2013-01-29
Reviewed by Pavel Feldman.

Change css style for token highlight from "border" to "outline" to
avoid border included in box dimensions.

No new tests: no change in behaviour.

* inspector/front-end/textEditor.css:
(.text-editor-token-highlight):

Modified Paths

Diff

Modified: trunk/Source/WebCore/ChangeLog (141112 => 141113)


--- trunk/Source/WebCore/ChangeLog	2013-01-29 16:02:41 UTC (rev 141112)
+++ trunk/Source/WebCore/ChangeLog	2013-01-29 16:09:33 UTC (rev 141113)
@@ -1,5 +1,20 @@
 2013-01-29  Andrey Lushnikov  <[email protected]>
 
+        Web Inspector: fix bottom span in token highlight in DTE
+        https://bugs.webkit.org/show_bug.cgi?id=108194
+
+        Reviewed by Pavel Feldman.
+
+        Change css style for token highlight from "border" to "outline" to
+        avoid border included in box dimensions.
+
+        No new tests: no change in behaviour.
+
+        * inspector/front-end/textEditor.css:
+        (.text-editor-token-highlight):
+
+2013-01-29  Andrey Lushnikov  <[email protected]>
+
         Web Inspector: introduce HighlightDescriptor interface in DTE.
         https://bugs.webkit.org/show_bug.cgi?id=108161
 

Modified: trunk/Source/WebCore/inspector/front-end/textEditor.css (141112 => 141113)


--- trunk/Source/WebCore/inspector/front-end/textEditor.css	2013-01-29 16:02:41 UTC (rev 141112)
+++ trunk/Source/WebCore/inspector/front-end/textEditor.css	2013-01-29 16:09:33 UTC (rev 141113)
@@ -38,8 +38,7 @@
 }
 
 .text-editor-token-highlight {
-    -webkit-border-radius: 3px;
-    border: 1px solid gray;
+    outline: 1px solid gray;
 }
 
 .text-editor-contents .inner-container {
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to