Title: [255945] releases/WebKitGTK/webkit-2.28/Source/WebInspectorUI
- Revision
- 255945
- Author
- [email protected]
- Date
- 2020-02-06 07:11:39 -0800 (Thu, 06 Feb 2020)
Log Message
Merge r255894 - Web Inspector: slightly increase the horizontal padding around scope bar items
https://bugs.webkit.org/show_bug.cgi?id=207321
Reviewed by Timothy Hatcher.
* UserInterface/Views/ScopeBar.css:
(.scope-bar):
(body[dir=ltr] .scope-bar > li.multiple > select):
(body[dir=rtl] .scope-bar > li.multiple > select):
* UserInterface/Views/RadioButtonNavigationItem.css:
(.navigation-bar .item.radio.button.text-only):
Modified Paths
Diff
Modified: releases/WebKitGTK/webkit-2.28/Source/WebInspectorUI/ChangeLog (255944 => 255945)
--- releases/WebKitGTK/webkit-2.28/Source/WebInspectorUI/ChangeLog 2020-02-06 15:11:36 UTC (rev 255944)
+++ releases/WebKitGTK/webkit-2.28/Source/WebInspectorUI/ChangeLog 2020-02-06 15:11:39 UTC (rev 255945)
@@ -1,5 +1,19 @@
2020-02-05 Devin Rousso <[email protected]>
+ Web Inspector: slightly increase the horizontal padding around scope bar items
+ https://bugs.webkit.org/show_bug.cgi?id=207321
+
+ Reviewed by Timothy Hatcher.
+
+ * UserInterface/Views/ScopeBar.css:
+ (.scope-bar):
+ (body[dir=ltr] .scope-bar > li.multiple > select):
+ (body[dir=rtl] .scope-bar > li.multiple > select):
+ * UserInterface/Views/RadioButtonNavigationItem.css:
+ (.navigation-bar .item.radio.button.text-only):
+
+2020-02-05 Devin Rousso <[email protected]>
+
Web Inspector: Tab Bar: move window management items to the left and don't show reload/download unless remotely inspecting
https://bugs.webkit.org/show_bug.cgi?id=207318
Modified: releases/WebKitGTK/webkit-2.28/Source/WebInspectorUI/UserInterface/Views/RadioButtonNavigationItem.css (255944 => 255945)
--- releases/WebKitGTK/webkit-2.28/Source/WebInspectorUI/UserInterface/Views/RadioButtonNavigationItem.css 2020-02-06 15:11:36 UTC (rev 255944)
+++ releases/WebKitGTK/webkit-2.28/Source/WebInspectorUI/UserInterface/Views/RadioButtonNavigationItem.css 2020-02-06 15:11:39 UTC (rev 255945)
@@ -33,7 +33,7 @@
.navigation-bar .item.radio.button.text-only {
position: relative;
- padding: 2px 4px 4px;
+ padding: 2px 6px 4px;
border: none;
z-index: 0;
}
Modified: releases/WebKitGTK/webkit-2.28/Source/WebInspectorUI/UserInterface/Views/ScopeBar.css (255944 => 255945)
--- releases/WebKitGTK/webkit-2.28/Source/WebInspectorUI/UserInterface/Views/ScopeBar.css 2020-02-06 15:11:36 UTC (rev 255944)
+++ releases/WebKitGTK/webkit-2.28/Source/WebInspectorUI/UserInterface/Views/ScopeBar.css 2020-02-06 15:11:39 UTC (rev 255945)
@@ -28,7 +28,7 @@
overflow: hidden;
--scope-bar-margin-default: 2px;
- --scope-bar-padding-default: 4px;
+ --scope-bar-padding-default: 6px;
--scope-bar-text-color-default: var(--text-color);
--scope-bar-background-color-default: unset;
--scope-bar-background-opacity-default: var(--glyph-opacity);
@@ -97,11 +97,11 @@
}
body[dir=ltr] .scope-bar > li.multiple > select {
- left: calc(var(--scope-bar-padding) - var(--scope-bar-padding-default) - 4px);
+ left: calc(var(--scope-bar-padding) - var(--scope-bar-padding-default) - 2px);
}
body[dir=rtl] .scope-bar > li.multiple > select {
- right: calc(var(--scope-bar-padding) - var(--scope-bar-padding-default) - 4px);
+ right: calc(var(--scope-bar-padding) - var(--scope-bar-padding-default) - 2px);
}
.scope-bar > li.multiple:not(.selected) > select {
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes