Title: [193094] branches/safari-601-branch/Source/WebInspectorUI
Revision
193094
Author
[email protected]
Date
2015-12-03 10:46:07 -0800 (Thu, 03 Dec 2015)

Log Message

Merge r188382. rdar://problem/23221163

Modified Paths

Diff

Modified: branches/safari-601-branch/Source/WebInspectorUI/ChangeLog (193093 => 193094)


--- branches/safari-601-branch/Source/WebInspectorUI/ChangeLog	2015-12-03 18:46:02 UTC (rev 193093)
+++ branches/safari-601-branch/Source/WebInspectorUI/ChangeLog	2015-12-03 18:46:07 UTC (rev 193094)
@@ -1,5 +1,26 @@
 2015-12-02  Timothy Hatcher  <[email protected]>
 
+        Merge r188382. rdar://problem/23221163
+
+    2015-08-13  Nikita Vasilyev  <[email protected]>
+
+            REGRESSION (r188325): Web Inspector: Fix vertical spacing in CodeMirror
+            https://bugs.webkit.org/show_bug.cgi?id=147971
+
+            r188325 inceased line-height by 2px. Remove top and bottom 1px padding
+            to compensate for line-height changes.
+
+            In the feature we may highlight the backgroud of text tokens (e.g. for the
+            heatmap profiler) so we would want to get rid of the gaps between the lines
+            (caused by the paddind) regardless of this regression.
+
+            Reviewed by Timothy Hatcher.
+
+            * UserInterface/Views/CodeMirrorOverrides.css:
+            (.CodeMirror pre):
+
+2015-12-02  Timothy Hatcher  <[email protected]>
+
         Merge r188373. rdar://problem/23221163
 
     2015-08-12  Joseph Pecoraro  <[email protected]>

Modified: branches/safari-601-branch/Source/WebInspectorUI/UserInterface/Views/CodeMirrorOverrides.css (193093 => 193094)


--- branches/safari-601-branch/Source/WebInspectorUI/UserInterface/Views/CodeMirrorOverrides.css	2015-12-03 18:46:02 UTC (rev 193093)
+++ branches/safari-601-branch/Source/WebInspectorUI/UserInterface/Views/CodeMirrorOverrides.css	2015-12-03 18:46:07 UTC (rev 193094)
@@ -38,7 +38,7 @@
 }
 
 .CodeMirror pre {
-    padding: 1px 3px 1px 7px;
+    padding: 0 3px 0 7px;
 }
 
 .CodeMirror .CodeMirror-selected {
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to