Title: [193037] branches/safari-601-branch/Source/WebInspectorUI
- Revision
- 193037
- Author
- [email protected]
- Date
- 2015-12-03 10:34:06 -0800 (Thu, 03 Dec 2015)
Log Message
Merge r187578. rdar://problem/23221163
Modified Paths
Diff
Modified: branches/safari-601-branch/Source/WebInspectorUI/ChangeLog (193036 => 193037)
--- branches/safari-601-branch/Source/WebInspectorUI/ChangeLog 2015-12-03 18:34:01 UTC (rev 193036)
+++ branches/safari-601-branch/Source/WebInspectorUI/ChangeLog 2015-12-03 18:34:06 UTC (rev 193037)
@@ -1,5 +1,22 @@
2015-12-01 Timothy Hatcher <[email protected]>
+ Merge r187578. rdar://problem/23221163
+
+ 2015-07-29 Nikita Vasilyev <[email protected]>
+
+ Web Inspector: Improve styles of debugger popovers
+ https://bugs.webkit.org/show_bug.cgi?id=147437
+
+ Reviewed by Timothy Hatcher.
+
+ Use non-monospace font and improve spacing.
+
+ * UserInterface/Views/SourceCodeTextEditor.css:
+ (.popover .debugger-popover-content > .title):
+ (.popover .debugger-popover-content > .body):
+
+2015-12-01 Timothy Hatcher <[email protected]>
+
Merge r187577. rdar://problem/23221163
2015-07-29 Nikita Vasilyev <[email protected]>
Modified: branches/safari-601-branch/Source/WebInspectorUI/UserInterface/Views/SourceCodeTextEditor.css (193036 => 193037)
--- branches/safari-601-branch/Source/WebInspectorUI/UserInterface/Views/SourceCodeTextEditor.css 2015-12-03 18:34:01 UTC (rev 193036)
+++ branches/safari-601-branch/Source/WebInspectorUI/UserInterface/Views/SourceCodeTextEditor.css 2015-12-03 18:34:06 UTC (rev 193037)
@@ -142,8 +142,9 @@
}
.popover .debugger-popover-content > .title {
- font-weight: bold;
- padding-left: 10px;
+ font-family: -apple-system, sans-serif;
+ font-weight: 500;
+ padding: 2px 0 4px 10px;
text-overflow: ellipsis;
overflow: hidden;
@@ -161,8 +162,7 @@
.popover .debugger-popover-content > .body {
border-top: 1px solid hsla(0, 0%, 0%, 0.3);
overflow: auto;
- margin-top: 5px;
- padding-top: 5px;
+ padding-top: 2px;
}
.popover .debugger-popover-content.function > .body {
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
