Title: [193250] branches/safari-601-branch/Source/WebInspectorUI
- Revision
- 193250
- Author
- [email protected]
- Date
- 2015-12-03 11:02:04 -0800 (Thu, 03 Dec 2015)
Log Message
Merge r190640. rdar://problem/23221163
Modified Paths
Diff
Modified: branches/safari-601-branch/Source/WebInspectorUI/ChangeLog (193249 => 193250)
--- branches/safari-601-branch/Source/WebInspectorUI/ChangeLog 2015-12-03 19:01:58 UTC (rev 193249)
+++ branches/safari-601-branch/Source/WebInspectorUI/ChangeLog 2015-12-03 19:02:04 UTC (rev 193250)
@@ -1,5 +1,28 @@
2015-12-02 Timothy Hatcher <[email protected]>
+ Merge r190640. rdar://problem/23221163
+
+ 2015-10-06 Devin Rousso <[email protected]>
+
+ Web Inspector: Fix spacing of FindBanner prev/next buttons
+ https://bugs.webkit.org/show_bug.cgi?id=149717
+
+ Reviewed by Darin Adler.
+
+ The sizing and spacing of the previous and next buttons in the FindBanner
+ is slightly off and should be readjusted to ensure that both buttons are
+ the same size and have the same spacing.
+
+ * UserInterface/Views/FindBanner.css:
+ (.find-banner > button.segmented.right > .glyph):
+ (.find-banner > button.segmented):
+ (.find-banner > button.segmented > .glyph):
+ (.find-banner > button.segmented.left): Deleted.
+ (.find-banner > button.segmented.left > .glyph): Deleted.
+ (.find-banner > button.segmented.right): Deleted.
+
+2015-12-02 Timothy Hatcher <[email protected]>
+
Merge r190632. rdar://problem/23221163
2015-10-06 Joseph Pecoraro <[email protected]>
Modified: branches/safari-601-branch/Source/WebInspectorUI/UserInterface/Views/FindBanner.css (193249 => 193250)
--- branches/safari-601-branch/Source/WebInspectorUI/UserInterface/Views/FindBanner.css 2015-12-03 19:01:58 UTC (rev 193249)
+++ branches/safari-601-branch/Source/WebInspectorUI/UserInterface/Views/FindBanner.css 2015-12-03 19:02:04 UTC (rev 193250)
@@ -143,17 +143,11 @@
.find-banner > button.segmented.left {
border-top-right-radius: 0;
border-bottom-right-radius: 0;
-
margin-right: 0;
-
- padding-left: 6px;
- padding-right: 6px;
}
.find-banner > button.segmented.left > .glyph {
background-image: -webkit-canvas(find-banner-previous-arrow-normal);
- background-size: 7px 11px;
- background-repeat: no-repeat;
}
.find-banner > button.segmented.left:active:not(:disabled) > .glyph {
@@ -163,17 +157,12 @@
.find-banner > button.segmented.right {
border-top-left-radius: 0;
border-bottom-left-radius: 0;
-
margin-left: -1px;
-
- padding-left: 5px;
- padding-right: 7px;
}
.find-banner > button.segmented.right > .glyph {
background-image: -webkit-canvas(find-banner-next-arrow-normal);
- background-size: 7px 11px;
- background-repeat: no-repeat;
+ margin-left: 1px;
}
.find-banner > button.segmented.right:active:not(:disabled) > .glyph {
@@ -182,10 +171,14 @@
.find-banner > button.segmented {
min-width: 22px;
- padding-top: 3px;
- padding-bottom: 2px;
+ padding: 3px 6px 2px;
}
+.find-banner > button.segmented > .glyph {
+ background-size: 7px 11px;
+ background-repeat: no-repeat;
+}
+
.find-banner > button.segmented:active {
z-index: 100;
position: relative;
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
